Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 7214 by Cormac Flanagan - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 7214 by Cormac Flanagan - Paperback

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

Product Description

ISBN: 9783642287558
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 7214
AUTHOR: Cormac Flanagan
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 14 Mar 2012

Other Details

ISBN:
9783642287558
Author:
Cormac Flanagan
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:14 Mar 2012
Book Format:
Paperback

Related Products

Popular Trending Products