Skip to contents

Monin, Jean-François [Author]; Monin, Jean François [Author] ; Hinchey, Michael Gerard [Other]

Understanding formal methods

Close

Bookmarks

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

London; Berlin; Heidelberg [u.a.]: Springer, 2003
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
Hutter, Dieter [Editor] ; International Workshop on Current Trends in Applied Formal Methods 1998 Boppard

Applied formal methods - FM trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1641
Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other]; Graf, Susanne [Other]; Roever, Willem Paul de [Other]; Boer, Frank S. de [Editor] ; FMCO 5 2006 Amsterdam

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 ; revised lectures

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 ; 4709
Aichernig, Bernhard K. [Editor]; Maibaum, Tom [Editor]; Haeberer, Armando Martín [Honoree] ; International Institute for Software Technology

Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 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, 2003

Published in: Lecture notes in computer science ; 2757
Fitzgerald, John [Editor] ; FME 4 1997 Graz

FME '97: Industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997; proceedings

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 ; 1313
Groves, Lindsay [Editor] ; FMP 1997 Wellington, Australasian Refinement Workshop 6 1997 Wellington, New Zealand Formal Program Development Colloquium 3 1997 Wellington

Formal methods Pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [combined conference incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium]

Close

Bookmarks

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

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

Published in: Springer series in discrete mathematics and theoretical computer science
Abrial, Jean-Raymond [Author]

The B-book : assigning programs to meanings

Close

Bookmarks

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

Cambridge [u.a.]: Cambridge Univ. Press, 1996
Molzberger, Peter [Editor]; Zemanek, Georg V. [Other] ; Association for Computing Machinery German Chapter

Software-Entwicklung: kreativer Prozeß oder formales Problem? : Seminar d. German Chapter of the ACM ...

Close

Bookmarks

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

Stuttgart: Teubner, 1985

Published in: Association for Computing Machinery: Berichte des German Chapter of the ACM ; 22
Abrial, Jean-Raymond [Editor]; Börger, Egon [Honoree]; Glässer, Uwe [Other]

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

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 ; 5115
Oliveira, José Nuno [Editor] ; FME 10 2001 Berlin

FME 2001 : Formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2021
George, Chris [Editor]; Miao, Huaikou [Other] ; International Conference on Formal Engineering Methods 4 2002 Schanghai

Formal methods and software engineering : 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 ; 2495
Davies, Jim [Editor]; Gibbons, Jeremy [Other] ; IFM 6 2007 Oxford

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2 - 5, 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 ; 4591
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
Kreowski, Hans-Jörg [Editor]; Montanari, Ugo [Other]; Orejas, Fernando [Other]; Rozenberg, Grzegorz [Other]; Taentzer, Gabriele [Other]; Ehrig, Hartmut [Honoree]

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

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 ; 3393
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
Petrenko, Alexandre [Editor] ; International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 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, 2004

Published in: Lecture notes in computer science ; 2931
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

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