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

Editors: Aichernig, Bernhard K., Maibaum, Tom (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-40007-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-20527-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (26 chapters)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-40007-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-20527-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods at the Crossroads. From Panacea to Foundational Support
Book Subtitle
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
Editors
  • Bernhard K. Aichernig
  • Tom Maibaum
Series Title
Lecture Notes in Computer Science
Series Volume
2757
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-40007-3
DOI
10.1007/b11934
Softcover ISBN
978-3-540-20527-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 462
Topics