Delivery included to the United States

Formal Methods at the Crossroads. From Panacea to Foundational Support

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Paperback (12 Mar 2014) | German

  • $60.24
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Formal Methods at the Crossroads. From Panacea to Foundational Support

Book information

ISBN: 9783662185421
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: German
Number of pages: 476
Weight: 663g
Height: 234mm
Width: 156mm