Model-Based Software Testing and Analysis with C# Campbell, Colin Schulte, Wolfram Veanes, Margus Jacky, Jonathan 9780521886550 Innbundet 12.11.2007 Engelsk Midlertidig utsolgt
Model-Based Software Testing and Analysis with C# Campbell, Colin Schulte, Wolfram Veanes, Margus Jacky, Jonathan 9780521687614 Heftet 12.11.2007 Engelsk Produseres på bestilling
The Way of Z : Practical Programming with Formal Methods Jacky, Jonathan 9780521559768 Heftet 28.11.1996 Engelsk Produseres på bestilling