Skip to contents

Nielson, Flemming [Author]; Nielson, Hanne Riis [Author]; Hankin, Chris [Author]

Principles of program analysis : with 51 tables - [Corr. 2. print.]

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2005
Nielson, Flemming [Author]; Nielson, Hanne Riis [Author]; Hankin, Chris [Author]

Principles of program analysis : with 51 tables

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1999
Šen, Aleksandr Ch [Author] ; Shen, Alexander [Other]

Algorithms and programming : problems and solutions - [Repr. of the 1997 ed.]

Close

Bookmarks

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

Boston; Berlin [u.a.]: Birkhäuser, 2008

Published in: Modern Birkhäuser classics
Mehlhorn, Kurt [Author]

Data structures and algorithms

Close

Bookmarks

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

Berlin [u.a.]: Springer, 19XX-

Published in: EATCS monographs on theoretical computer science ; .
Lampe, Jürgen [Author] ; Schlich, Maud [Contributor] Wiley-VCH

Clean Code für Dummies

Close

Bookmarks

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

Weinheim: Wiley-VCH Verlag GmbH & Co. KGaA, [2020]

Published in: ... für Dummies- Lernen einfach gemacht
Aldini, Alessandro [Editor] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6154
Dam, Mads [Editor] ; LOMAPS Workshop 5 1996 Stockholm

Analysis and verification of multiple-agent languages : Stockholm, Sweden, June 24-26, 1996 ; selected papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1192
Kuncak, Viktor [Editor]; Rybalchenko, Andrey [Other] ; VMCAI 13 2012 Philadelphia, Pa

Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 7148
Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 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 ; 6602
Jhala, Ranjit [Editor]; Schmidt, David [Other] ; VMCAI 12 2011 Austin, Tex

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings

Close

Bookmarks

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

Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6538
Ueda, Kazunori [Editor] ; APLAS 8 2010 Schanghai

Programming languages and systems : 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6461
Jones, Neil D. [Editor]; Müller-Olm, Markus [Other] ; VMCAI 10 2009 Savannah, Ga

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5403
Barthe, Gilles [Editor]; Hermenegildo, Manuel [Other] ; VMCAI 11 2010 Madrid

Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5944
Logozzo, Francesco [Editor]; Peled, Doron A. [Other]; Zuck, Leonore D. [Other] ; VMCAI 9 2008 San Francisco, Calif

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7 - 9, 2008 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4905
Emerson, E. Allen [Editor]; Namjoshi, Kedar S. [Other] ; VMCAI 7 2006 Charleston, SC

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3855
Cook, Byron [Editor]; Podelski, Andreas [Other] ; VMCAI 8 2007 Nizza

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14 - 16, 2007 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4349
Zuck, Lenore D. [Editor] ; VMCAI 4 2003 New York, NY

Verification, model checking, and abstract interpretation : 4th international conference ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2575
Steffen, Bernhard [Editor] ; VMCAI 5 2004 Venedig

Verification, model checking, and abstract interpretation : 5th international conference, Venice, January 11 - 13, 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 ; 2937
Cousot, Radhia [Editor] ; VMCAI 6 2005 Paris

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 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 ; 3385
Cortesi, Agostino [Editor] ; VMCAI 3 2002 Venedig

Verification, model checking, and abstract interpretation : third international workshop, Venice, Italy, January 21 - 22, 2002 ; revised papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2294

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