Skip to main content

Author picture

Jonathan Jacky

Author of The Way of Z: Practical Programming with Formal Methods

3 Works 47 Members 0 Reviews

Works by Jonathan Jacky

The Way of Z: Practical Programming with Formal Methods (1996) 26 copies

Model-Based Software Testing and Analysis with C# (2007) 20 copies

Directions and Implications of Advanced Computing (Diac-87) (1989) 1 copy

Tagged

2012-0205 (1) 2014-0913 (1) 9780131480056 (1) @work (1) ACM Books 24/7 (1) C# (1) Cambridge University Press (2) computer (1) computer science (3) ebook (2) formal methods (2) formal systems (1) logic (2) Mike (1) model checking (1) Méthodes Formelles (1) pdfByPublishersCUP (1) programming (4) software development (1) technology (1) testing (1) uncategorized (1) z (2)

Common Knowledge

Gender: male

Members

Statistics

Works: 3
Members: 47
Popularity: #330,643
Rating: 3.0

ISBNs: 10

Pictures

Links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

This site uses cookies to deliver our services, improve performance, for analytics, and (if not signed in) for advertising. By using LibraryThing you acknowledge that you have read and understand our Terms of Service and Privacy Policy. Your use of the site and services is subject to these policies and terms.