Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Piterman, Nir; Smolka, Scott
€ 67.75
FREE Delivery in Ireland
Description for Tools and Algorithms for the Construction and Analysis of Systems
Paperback. Editor(s): Piterman, Nir; Smolka, Scott. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 137 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
670
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
ISBN
9783642367410
SKU
V9783642367410
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Tools and Algorithms for the Construction and Analysis of Systems