Publisher's Synopsis
Formal Methods at the Crossroads. From Panacea to Foundational Support
Paperback (12 Mar 2014) | German
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Formal Methods at the Crossroads. From Panacea to Foundational Support
ISBN: | 9783662185421 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 12 Mar 2014 |
Language: | German |
Number of pages: | 476 |
Weight: | 663g |
Height: | 234mm |
Width: | 156mm |