Buy Used and New JonathanP.Bowen 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

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540789161

Format: Paperback (367 pages)
Publisher: Springer
Published: 08 Apr 2008

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