QA76.76.V47 A65 2014eb
|
Program logics for certified compilers / |
1 |
QA76.76.V47 A67 1991
|
Verification of sequential and concurrent programs / |
1 |
QA76.76.V47 A67 1997
|
Verification of sequential and concurrent programs / |
1 |
QA76.76.V47 A67 2009
|
Verification of sequential and concurrent programs |
1 |
QA76.76.V47 B35 2008
|
Principles of model checking / |
1 |
QA76.76.V47 B35 2008eb
|
Principles of model checking / |
1 |
QA76.76.V47 B38 2013
|
Gradle : Ein kompakter Einstieg in modernes Build-Management / |
1 |
QA76.76.V47 B46 2008eb
|
Principles of the Spin model checker |
1 |
QA76.76.V47 B563 2015
|
Decidability of parameterized verification / |
1 |
QA76.76.V47 B87 1997
|
Automatic verification of sequential infinite-state processes / |
1 |
QA76.76.V47 B87 1997eb
|
Automatic verification of sequential infinite-state processes |
1 |
QA76.76.V47 C38 1993
|
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings / |
1 |
QA76.76.V47 C38 1994
|
Computer aided verification 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / |
1 |
QA76.76.V47 C38 1998
|
Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / |
1 |
QA76.76.V47 C38 2002
|
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / |
1 |
QA76.76.V47 C38 2003
|
Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings / |
1 |
QA76.76.V47 C38 2004eb
|
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings / |
1 |
QA76.76.V47 C38 2005
|
Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / |
1 |
QA76.76.V47 C38 2006eb
|
Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / |
1 |
QA76.76.V47 C38 2007eb
|
Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
1 |