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 by Biere 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 by Biere Armin Biere - Paperback

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

Product Description

ISBN: 9783030451912
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
AUTHOR: Biere Armin Biere
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 24 Apr 2020

Other Details

ISBN:
9783030451912
Author:
Biere Armin Biere
Publisher:
Springer Nature B.V.
Publisher Date:
Published:24 Apr 2020
Book Format:
Paperback

Related Products

Popular Trending Products