Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 10805 by Dirk Ph.D. Beyer - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 10805 by Dirk Ph.D. Beyer - Paperback

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

Product Description

ISBN: 9783319899596
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 10805
AUTHOR: Dirk Ph.D. Beyer
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 12 Apr 2018

Other Details

ISBN:
9783319899596
Author:
Dirk Ph.D. Beyer
Publisher:
Springer International Publishing AG
Publisher Date:
Published:12 Apr 2018
Book Format:
Paperback

Related Products

Popular Trending Products