Skip to contents

Guttag, John [Author]; Guttag, John V. [Author]; Horning, James J. [Author]

Larch : languages and tools for formal specification

Close

Bookmarks

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

New York; Heidelberg [u.a.]: Springer, 1993

Published in: Texts and monographs in computer science
Davies, Jim [Editor]; Silva, Leila [Other]; Simao, Adenilso [Other] ; Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; 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, 2011

Published in: Lecture notes in computer science ; 6527
Schürr, Andreas [Editor]; Selic, Bran [Other] ; MODELS 12 2009 Denver, Colo

Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 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 ; 5795
Borrione, Dominique [Editor] ; International Federation for Information Processing Working Group Very Large Scale Integration, CHARME 13 2005 Saarbrücken

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 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 ; 3725
Zimmermann, Wolf [Editor]; Thalheim, Bernhard [Other] ; ASM 11 2004 Wittenberg

Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 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 ; 3052
Leue, Stefan [Editor]; Systä, Tarja Johanna [Other] ; International Workshop Scenarios: Models, Transformations and Tools 2003 Dagstuhl

Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; 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, 2005

Published in: Lecture notes in computer science ; 3466
Geist, Daniel [Editor]; Tronci, Enrico [Other] ; CHARME 12 2003 L'Aquila

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 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 ; 2860
Dingel, Juergen [Other]; Solberg, Arnor [Other]; Dingel, Jürgen [Editor] ; MODELS 13 2010 Oslo

Models in software engineering : workshops and symposia at MODELS 2010, Olso, Norway, October 3-8, 2010 ; reports and 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, 2011

Published in: Lecture notes in computer science ; 6627
Kraemer, Frank Alexander [Editor]; Herrmann, Peter [Other] ; SAM 6 2010 Oslo

System analysis and modeling: about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 ; 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, 2011

Published in: Lecture notes in computer science ; 6598
Bjørner, Dines [Editor]; Bjoerner, Dines [Editor] ; Europäische Kommission VDM Europe Working Group, VDM 3 1990 Kiel

VDM '90, VDM and Z - formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 428
Nowack, Antje [Author]

Abstract state machines : verification problems and computational power

View online
Schließen

Access

https://edocs.tib.eu/files/e01dd11/475164555.pdf

Show more show less

Close

Bookmarks

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

2004
Bowen, Jonathan P. [Author] ; Fett, Andreas [Other]; Hinchey, Michael G. [Other]

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1493
Bjørner, Dines [Other] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

Formal methods in programming and their applications : International Conference ["Formal Methods in Programming and Their Applications"], Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 73500
Albert, Elvira [Author] ; Sekerinski, Emil [Editor]

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8739
Paskevich, Andrei [Editor]; Wies, Thomas [Editor]

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10712
Méry, Dominique [Author] ; Merz, Stephan [Other]

Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6396
Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Wehrheim, Heike [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Leuschel, Michael [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5423
Davies, Jim [Other]; Gibbons, Jeremy [Other]

Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4591
Romijn, Judi M. [Other]; Smith, Graeme [Other]; van de Pol, Jaco C. [Other]

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3771
Börger, Egon [Author] ; Gargantini, Angelo [Other]; Riccobene, Elvinia [Other]

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2589

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