Buy Used and New JonathanJacky Books

The Way of Z: Practical Programming with Formal Methods

by Jonathan Jacky

ISBN 13: 9780521559768

Format: Illustrated (370 pages)
Publisher: Cambridge University Press
Published: 28 Nov 1996

Save for later

Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer

by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

ISBN 13: 9780521886550

Format: Hardcover (366 pages)
Publisher: Cambridge University Press
Published: 12 Nov 2007

Save for later