Delivery included to the United States

Formal Methods at the Crossroads

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 - Lecture Notes in Computer Science

2003

Paperback (18 Nov 2003)

Save $5.11

  • RRP $61.51
  • $56.40
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.

Book information

ISBN: 9783540205272
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2003
DEWEY: 005.1
DEWEY edition: 22
Language: English
Number of pages: 453
Weight: 724g
Height: 235mm
Width: 155mm
Spine width: 19mm