Zum Inhalt springen

Abrial, Jean-Raymond [HerausgeberIn]; Börger, Egon [GefeierteR]; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

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

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 ; 5115
Nissanke, Nimal [VerfasserIn]

Formal specification : techniques and applications

Schließen

Merkliste

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

London; Berlin; Heidelberg [u.a.]: Springer, 1999
Méry, Dominique [HerausgeberIn]; Merz, Stephan [Sonstige Person, Familie und Körperschaft] ; IFM 8 2010 Nancy

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 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 ; 6396
Leuschel, Michael [HerausgeberIn]; Wehrheim, Heike [Sonstige Person, Familie und Körperschaft] ; IFM 7 2009 Düsseldorf

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

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 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 ; 3771
Lau, Kung-Kiu [HerausgeberIn]; Banach, Richard [Sonstige Person, Familie und Körperschaft] ; 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

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 ; 3785
Dong, Jin Song [HerausgeberIn] ; 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

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 ; 2885
George, Chris [HerausgeberIn]; Miao, Huaikou [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 4 2002 Schanghai

Formal methods and software engineering : 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, 2002

Erschienen in: Lecture notes in computer science ; 2495
Astesiano, Egidio [HerausgeberIn] ; International Federation for Information Processing Working Group Foundations of Systems Specification

Algebraic foundations of systems specification

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, 1999

Erschienen in: IFIP State-of-the-Art reports
Davies, Jim [HerausgeberIn]; Gibbons, Jeremy [Sonstige Person, Familie und Körperschaft] ; IFM 6 2007 Oxford

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2 - 5, 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 ; 4591
Kreowski, Hans-Jörg [HerausgeberIn]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Taentzer, Gabriele [Sonstige Person, Familie und Körperschaft]; Ehrig, Hartmut [GefeierteR]

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

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 ; 3393
Suzuki, Kenji [HerausgeberIn] ; FORTE 28 2008 Tokio

Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 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 ; 5048
Bjoerner, Dines [HerausgeberIn]; Bjørner, Dines [Sonstige Person, Familie und Körperschaft]; Henson, Martin C. [Sonstige Person, Familie und Körperschaft]

Logics of specification languages

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2008

Erschienen in: Monographs in theoretical computer science : an EATCS series
Barthe, Gilles [HerausgeberIn]; Pardo, Alberto [Sonstige Person, Familie und Körperschaft]; Schneider, Gerardo [Sonstige Person, Familie und Körperschaft] ; SEFM 9 2011 Montevideo

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; 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, 2011

Erschienen in: Lecture notes in computer science ; 7041
Blass, Andreas [HerausgeberIn]; Gurevich, Yuri [GefeierteR]; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

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 ; 6300
Liu, Zhiming [HerausgeberIn]; He, Jifeng [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 8 2006 Macau

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 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 ; 4260
Najm, Elie [HerausgeberIn] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, FORTE 26 2006 Paris

Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 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 ; 4229
Derrick, John [HerausgeberIn]; Vain, Jüri [Sonstige Person, Familie und Körperschaft] ; FORTE 27 2007 Tallinn

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27 - 29, 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 ; 4574
Wang, Farn [HerausgeberIn] ; FORTE 25 2005 Taipeh

Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 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 ; 3731
Davies, Jim [HerausgeberIn]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft]; Barnett, Mike [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 6 2004 Seattle, Wash

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 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 ; 3308

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