Jonathan (University of Washington) Jacky Forfatter
-
Model-Based Software Testing and Analysis with C- (Bog, Paperback / softback, Engelsk)
This book teaches new methods for specifying, analyzing, and testing software, essentials for creating high-quality software. Using a toolkit built on the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Way of Z: Practical Programming with Formal Methods (Bog, Paperback / softback, Engelsk)
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
