Call Number (LC) Title Results
QA76.76.V47 L37 2011 Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures / 1
QA76.76.V47 L45 2023 Program proofs / 1
QA76.76.V47 L48 1992 Independent verification and validation : a life cycle engineering process for quality software / 1
QA76.76.V47 M36 1995 Temporal verification of reactive systems : safety / 1
QA76.76.V47 M63 2007eb Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers / 1
QA76.76.V47 M63 2009 Model checking and artificial intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / 1
QA76.76.V47 M63 2011 Model checking and artificial intelligence 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers / 1
QA76.76.V47 M87 2014 Gradle in action / 1
QA76.76.V47 N38 2012eb Engineering Dependable Software Systems. 1
QA76.76.V47 P745 2007 Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / 		2
QA76.76.V47 R35 1997 Software verification and validation : a practitioner's guide / 1
QA76.76.V47 R35 2001eb Software verification and validation for practitioners and managers
Software verification and validation for practitioners and managers / 		2
QA76.76.V47 R39 2010 Scalable techniques for formal verification 1
QA76.76.V47 R54 2011 Rigorous software development an introduction to program verification / 1
QA76.76.V47 R58 2009 Reachability problems third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / 1
QA76.76.V47 R6 2010 Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings / 1
QA76.76.V47 R6 2011 Reachability problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / 1
QA76.76.V47 R6 2012 Reachability problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / 1
QA76.76.V47 R6 2013 Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings / 1
QA76.76.V47 R8 2011 Runtime verification second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / 1