Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Model-Based Software Testing and Analysis with C# by Jonathan Jacky 9780521687614
Booksplease Price: $81.26This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test... -
The Way of Z: Practical Programming with Formal Methods by Jonathan Jacky 9780521559768
Booksplease Price: $123.47This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in...