Buy Used and New PaulBoca Books

Formal Methods: State of the Art and New Directions

by

ISBN 13: 9781848827356

Format: Hardcover (273 pages)
Publisher: Springer
Published: 22 Dec 2009

Save for later

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540876021

Format: Paperback (382 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later