Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 12078 by Armin Biere - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 12078 by Armin Biere - Paperback

AED0.00
(0) Write a Review
SKU:
9783030451899
UPC:
9783030451899

Product Description

ISBN: 9783030451899
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 12078
AUTHOR: Armin Biere
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 18 Apr 2020

Other Details

ISBN:
9783030451899
Author:
Armin Biere
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:18 Apr 2020
Book Format:
Paperback

Related Products

Popular Trending Products