Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
Title: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, Author: Patrick Godefroid
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Author: Susanne Graf
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Author: Doron A. Peled
Title: Mockito for Spring, Author: Sujoy Acharya
Title: Mockito Essentials, Author: Sujoy Acharya
Title: Mockito Cookbook, Author: Marcin Grzejszczak
Title: Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs, Author: Subhajit Datta
Title: Memory Dump Analysis Anthology, Volume 8b, Author: Dmitry Vostokov
Title: Memory Dump Analysis Anthology, Volume 6, Author: Dmitry Vostokov
Title: Memory Dump Analysis Anthology, Volume 6, Author: Dmitry Vostokov
Title: Memory Dump Analysis Anthology Collector's Revised Edition, Volume 1, Author: Dmitry Vostokov
Title: Medical Device Software Verification, Validation and Compliance, Author: David A. Vogel
Title: Measuring the Software Process: Statistical Process Control for Software Process Improvement, Author: William Florac
Title: Measurement for Software Control and Assurance, Author: B.A. Kitchenham

Pagination Links