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
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
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
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]
Bossi, Annalisa [Editor] ; LOPSTR 9 1999 Venedig

Logic-based program synthesis and transformation : 9th international workshop ; selected papers

Close

Bookmarks

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

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000

Published in: Lecture notes in computer science ; 1817
Bibel, Wolfgang [Editor]; Jantke, Klaus P. [Editor] ; Workshop on Mathematical Methods of Specification and Synthesis of Software Systems 1985 Wendisch Rietz

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985

Close

Bookmarks

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

Berlin: Akademie-Verlag, c 1986

Published in: Mathematical research ; 31
Barthe, Gilles [Editor]; Pardo, Alberto [Other]; Schneider, Gerardo [Other] ; SEFM 9 2011 Montevideo

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 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 ; 7041
Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos

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

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 ; 4313
Broy, Manfred [Editor] ; International Andrei Ershov Memorial Conference 5 2003 Nowosibirsk-Akademgorodok

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 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, 2003

Published in: Lecture notes in computer science ; 2890
Degano, Pierpaolo [Editor]; Montanari, Ugo [Honoree]; De Nicola, Rocco [Other]; Meseguer, José [Other]

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

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 ; 5065
Qin, Shengchao [Editor]; Qiu, Zongyan [Other] ; International Conference on Formal Engineering Methods 13 2011 Durham

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2011

Published in: Lecture notes in computer science ; 6991
Gogolla, Martin [Editor]; Wolff, Burkhart [Other] ; TAP 5 2011 Zürich

Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 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 ; 6706
Cerone, Antonio [Editor]; Pihlajasaari, Pekka [Other] ; ICTAC 8 2011 Johannesburg

Theoretical aspects of computing - ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31-September 2, 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 ; 6916
Cavalcanti, Ana [Editor]; Deharbe, David [Other]; Gaudel, Marie-Claude [Other]; Woodcock, Jim [Other] ; ICTAC 7 2010 Natal, Rio Grande do Norte

Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 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 ; 6255
Misra, Jayadev [Editor] ; FM 14 2006 Hamilton, Ontario

FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2006

Published in: Lecture notes in computer science ; 4085
Harel, David [Author]; Feldman, Yishai A. [Author]

Algorithmik : die Kunst des Rechnens

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2006
Jensen, Kurt [Editor]; Podelski, Andreas [Other] ; TACAS 10 2004 Barcelona, ETAPS 7 2004 Barcelona

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 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 ; 2988
Halbwachs, Nicolas [Editor]; Zuck, Lenore D. [Editor] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 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 ; 3440
Fitzgerald, John [Editor] ; FM 13 2005 Newcastle-upon-Tyne

FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 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 ; 3582
Araki, Keijiro [Editor] ; FME 12 2003 Pisa

FME 2003: Formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 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 ; 2805

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