Zum Inhalt springen

Dam, Mads [HerausgeberIn] ; LOMAPS Workshop 5 1996 Stockholm

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1192
Shankar, Natarajan [HerausgeberIn]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; VSTTE 2 2008 Toronto

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5295
Ueda, Kazunori [HerausgeberIn] ; APLAS 8 2010 Schanghai

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6461
Barthe, Gilles [HerausgeberIn]; Hermenegildo, Manuel [Sonstige Person, Familie und Körperschaft] ; VMCAI 11 2010 Madrid

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5944
Jones, Neil D. [HerausgeberIn]; Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft] ; VMCAI 10 2009 Savannah, Ga

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5403
Cook, Byron [HerausgeberIn]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft] ; VMCAI 8 2007 Nizza

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4349
Cousot, Radhia [HerausgeberIn] ; VMCAI 6 2005 Paris

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3385
Emerson, E. Allen [HerausgeberIn]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft] ; VMCAI 7 2006 Charleston, SC

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3855
Steffen, Bernhard [HerausgeberIn] ; VMCAI 5 2004 Venedig

Verification, model checking, and abstract interpretation : 5th international conference, Venice, January 11 - 13, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2937
Ohori, Atsushi [HerausgeberIn] ; APLAS 1 2003 Peking

Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2895
Cortesi, Agostino [HerausgeberIn] ; VMCAI 3 2002 Venedig

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2294
Yi, Kwangkeun [HerausgeberIn] ; SAS 13 2006 Seoul

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4134
Leavens, Gary T. [HerausgeberIn] ; VSTTE 3 2010 Edinburgh

Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6217
Hu, Zhenjiang [HerausgeberIn] ; APLAS 7 2009 Seoul

Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5904
Logozzo, Francesco [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Zuck, Leonore D. [Sonstige Person, Familie und Körperschaft] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4905
Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4313
Zuck, Lenore D. [HerausgeberIn] ; VMCAI 4 2003 New York, NY

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2575
Hankin, Chris [HerausgeberIn]; Siveroni, Igor [Sonstige Person, Familie und Körperschaft] ; SAS 12 2005 London

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3672
Cousot, Radhia [HerausgeberIn] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2694
Cousot, Patrick [HerausgeberIn] ; WSA 3 1993 Padua

Static analysis : third international workshop; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 724

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr