Jonathan Jacky
|
The Way of Z: Practical Programming with Formal Methods
—
published
1996
—
7 editions
|
|
|
Model-Based Software Testing and Analysis with C#: A Model-Based Approach Using Specexplorer
—
published
2007
|
|
|
Model-Based Software Testing and Analysis with C#
by
—
published
2007
—
8 editions
|
|
|
Directions and Implications of Advanced Computing (Diac-87)
by
—
published
1989
—
2 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more, click here.
Is this you? Let us know. If not, help out and invite Jonathan to Goodreads.
