Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 9636 by Marsha Chechik - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 9636 by Marsha Chechik - Paperback

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

Product Description

ISBN: 9783662496732
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 9636
AUTHOR: Marsha Chechik
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 9 Apr 2016

Other Details

ISBN:
9783662496732
Author:
Marsha Chechik
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:9 Apr 2016
Book Format:
Paperback

Related Products

Popular Trending Products