Jonathan Jacky

New Releases

Language

Ebook Format

DRM

1 - 2 of 2 results

The Way of Z: Practical Programming with Formal Methods

The Way of Z

Practical Programming with Formal Methods

Cambridge University Press (1996)
US$56.00

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal...

Model-Based Software Testing and Analysis with C#
Cambridge University Press (2007)
US$43.00

Teaches new methods for specifying, analyzing and testing software that increase automation in each...