Skip to contents

Loeckx, Jacques [Author]; Sieber, Kurt [Author]

The foundations of program verification - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart [u.a.]: Teubner [u.a.], 1987

Published in: Wiley-Teubner series in computer science
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Programmverifikation : sequentielle, parallele und verteilte Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Springer-Lehrbuch
Futschek, Gerald [Author]

Programmentwicklung und Verifikation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien [u.a.]: Springer, 1989

Published in: Springers angewandte Informatik
Hammer, Rolf [Other]

C++ toolbox for verified computing

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 19XX-
Alt, René [Editor] ; Seminar Numerical Software with Result Verification 2003 Dagstuhl

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2991
Backhouse, Roland C. [Author] ; Backhouse, Roland Carl [Other]

Program construction and verification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986

Published in: Prentice-Hall international series in computer science
Polak, Wolfgang [Author]

Compiler specification and verification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1981

Published in: Lecture notes in computer science ; 124
Etessami, Kousha [Editor]; Rajamani, Sriram K. [Other] ; CAV 17 2005 Edinburgh

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3576
Yahav, Eran [Editor] ; SAS 18 2011 Venedig

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6887
Emerson, E. Allen [Editor]; Sistla, Aravinda Prasad [Other] ; CAV 12 2000 Chicago, Ill

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1855
Alur, Rajeev [Editor]; Peled, Doron A. [Other] ; CAV 16 2004 Boston, Mass

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3114
Bradley, Aaron R. [Author]; Manna, Zohar [Author]

The calculus of computation : decision procedures with applications to verification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007
Halbwachs, Nicolas [Editor] ; CAV 11 1999 Trient

Computer aided verification : 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1633
Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author]

Theorems from compiler verification : a problem set for automated theorem provers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,13
Courcoubetis, Costas [Editor] ; CAV 5 1993 Elounda

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Lecture notes in computer science ; 697
Baber, Robert Laurence [Author]

Fehlerfreie Programmierung für den Software-Zauberlehrling

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1990
Backhouse, Roland C. [Author]

Programmkonstruktion und Verifikation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989
Yoeli, Michael [Author]; Kol, Rakefet [Author]

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hoboken, NJ: Wiley-Interscience, c2008

Published in: Wiley series on parallel and distributed computing
Alur, Rajeev [Editor] ; CAV 8 1996 New Brunswick, NJ

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 1996

Published in: Lecture notes in computer science ; 1102
Wolper, Pierre [Editor] ; CAV 7 1995 Lüttich

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 939

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication