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 Bill Stoddart (Author), ThomasSanten (Author), WolfgangGrieskamp (Author)

$98.74

Quantity

10 in stock

More Information

Format: Paperback
Pages: 456
Edition: 2000
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540411968
ISBN 13: 9783540411963