Zum Inhalt springen

Diller, Antoni [VerfasserIn]

Z : an introduction to formal methods - [2. ed.]

Schließen

Merkliste

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

Chichester [u.a.]: Wiley, 1994
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
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
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
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
Abrial, Jean-Raymond [VerfasserIn]

The B-book : assigning programs to meanings

Schließen

Merkliste

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

Cambridge [u.a.]: Cambridge Univ. Press, 1996
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
Börger, Egon [HerausgeberIn] ; ASM 10 2003 Taormina

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; 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 ; 2589
Bowen, Jonathan P. [HerausgeberIn]; Fett, Andreas [HerausgeberIn]; Hinchey, Mike [HerausgeberIn] ; ZUM 11 1998 Berlin

ZUM '98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings

Schließen

Merkliste

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

Berlin; Heidelberg; New York: Springer, 1998

Erschienen in: Lecture notes in computer science ; 1493
Bjoerner, Dines [HerausgeberIn] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; 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, 1993

Erschienen in: Lecture notes in computer science ; 735
Van, Hung Dang [HerausgeberIn]

Specification case studies in RAISE

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

Erschienen in: Formal approaches to computing and information technology
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
Joshi, Rajeev [HerausgeberIn] ; VSTTE 4 2012 Philadelphia, Pa

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; 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, 2012

Erschienen in: Lecture notes in computer science ; 7152
Petriu, Dorina C. [HerausgeberIn] ; MODELS 13 2010 Oslo

Model driven engineering languages and systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3 - 8, 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, 20XX-

Erschienen in: Lecture notes in computer science ; .
Julliand, Jacques [HerausgeberIn]; Kouchnarenko, Olga [Sonstige Person, Familie und Körperschaft] ; International Conference of B Users 7 2007 Besançon

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 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, 2006

Erschienen in: Lecture notes in computer science ; 4355
Bert, Didier [HerausgeberIn] ; ZB 3 2003 Turku

ZB 2003: Formal Specification and Development in Z and B : third international conference of B and Z Users, Turku, Finland, Juni 4 - 6, 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 ; 2651
Treharne, Helen [HerausgeberIn]; King, Steve [Sonstige Person, Familie und Körperschaft]; Henson, Martin [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft] ; ZB 4 2005 Guildford

ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 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 ; 3455
Bowen, Jonathan P. [HerausgeberIn] ; ZB 1 2000 York

ZB 2000: formal specification and development in Z and B : proceedings

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2000

Erschienen in: Lecture notes in computer science ; 1878
Bert, Didier [HerausgeberIn] ; ZB 2 2002 Grenoble

ZB 2002: Formal Specification and Development in Z and B : 2nd international conference of B and Z Users, Grenoble, France, January 23-25, 2002 ; 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 ; 2272
Lano, Kevin [VerfasserIn]

Formal object-oriented development

Schließen

Merkliste

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

London; Heidelberg [u.a.]: Springer, 1995

Erschienen in: Formal approaches to computing and information technology series ; FACIT

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