Skip to contents

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
Nicolette, David [Author]

Software development metrics

Close

Bookmarks

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

Shelter Island, NY: Manning, [2015]
Gutmann, Peter [Author]

Cryptographic security architecture : design and verification

Close

Bookmarks

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

New York; Berlin; Heidelberg [u.a.]: Springer, 2004
Treseler, Heinz [Author]

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Close

Bookmarks

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

Aachen: Shaker, 2002

Published in: Universität Dortmund: Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund ; 2002,2
Katoen, Joost-Pieter [Editor] ; TACAS 8 2002 Grenoble, ETAPS 5 2002 Grenoble

Tools and algorithms for the construction and analysis of systems : 8th 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, 2002

Published in: Lecture notes in computer science ; 2280
Dong, Jin Song [Editor] ; International Conference on Formal Engineering Methods 5 2003 Singapur

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; 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 ; 2885
Wolff, Burhart [Other]; Zai̇di, Fatiha [Other]; Wolff, Burkhart [Editor] ; ICTSS 23 2011 Paris

Testing software and systems : 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 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 ; 7019
Edwards, Stephen H. [Editor]; Kulczycki, Gregory [Other] ; ICSR 11 2009 Falls Church, Va

Formal foundations of reuse and domain engineering : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30 ; 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 ; 5791
Müller, Peter [Editor] ; LASER Summer School on Software Engineering 2007 - 2008

Advanced lectures on software engineering : LASER Summer School 2007/2008

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 ; 6029
Haubelt, Christian [Author]; Teich, Jürgen [Author]

Digitale Hardware/Software-Systeme : Spezifikation und Verifikation

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: eXamen.press
Méry, Dominique [Editor]; Merz, Stephan [Other] ; IFM 8 2010 Nancy

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 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 ; 6396
Leuschel, Michael [Editor]; Wehrheim, Heike [Other] ; IFM 7 2009 Düsseldorf

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 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 ; 5423
Smith, Graeme P. [Other]; Pol, Jaco C. van de [Other]; Romijn, Judi M. [Editor] ; IFM 5 2005 Eindhoven

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 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 ; 3771
Lau, Kung-Kiu [Editor]; Banach, Richard [Other] ; International Conference on Formal Engineering Methods 7 2005 Manchester

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 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 ; 3785
Troubitsyna, Elena A. [Editor] ; SERENE 3 2011 Genf

Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 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 ; 6968
Damm, Werner [Editor]; Hermanns, Holger [Other] ; CAV 19 2007 Berlin

Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3 - 7, 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 ; 4590
Bultan, Tevfik [Editor]; Hsiung, Pao-Ann [Other] ; ATVA 9 2011 Taipeh

Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 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 ; 6996
Esparza, Javier [Editor]; Majumdar, Rupak [Other] ; TACAS 16 2010 Paphos, ETAPS 13 2010 Paphos

Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 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 ; 6015
Ramakrishnan, C. R. [Editor]; Rehof, Jakob [Other] ; TACAS 14 2008 Budapest, ETAPS 11 2008 Budapest

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 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 ; 4963
Kowalewski, Stefan [Editor]; Philippou, Anna [Other] ; TACAS 15 2009 York, ETAPS 12 2009 York

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 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 ; 5505

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