The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings: 1945 (Lecture Notes in Computer Science)

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings: 1945 (Lecture Notes in Computer Science)

by WolfgangGrieskamp (Author), Bill Stoddart (Author), ThomasSanten (Author)

$64.47

Quantity

20+ in stock

More Information

Format: Paperback
 Pages: 456
 Edition: 2000
 Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540411968
ISBN 13: 9783540411963