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: 9780521687614

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

Save for later