Buy Used and New Ian J. Hayes Books

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

by John Fitzgerald,Ian J. Hayes,Andrzej Tarlecki

ISBN 13: 9783540278825

Format: Illustrated (580 pages)
Publisher: Springer
Published: 22 Aug 2005

Save for later