Skip to product information
Formal Methods at the Crossroads. From Panacea to Foundational Support
  • 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

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

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science

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

Bernhard K. Aichernig | Tom Maibaum

Computers / Software Development & Engineering / General


Publication Date: 18 November 2003
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540205272
Format: Paperback softback
Page Count: 462

You may also like