Buy Used and New ThomasSanten Books

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

by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

ISBN 13: 9783540411963

Format: Paperback (456 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later