Campusbibliothek

Ihre Suche erzielte 19 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
VDM '90, VDM and Z - formal methods in software development third international symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990 ; proceedings D. Bjørner ... (eds.) von Reihen: ; 42800 | Lecture notes in computer science ; 428
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 428.
Vormerken Zum Korb hinzufügen
2.
Understanding Z a specification language and its formal semantics J. M. Spivey von Reihen: ; 3,2 | Cambridge tracts in theoretical computer science ; 3.1992
Auflage: Reprint
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1992
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SpIV j 1992:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
3.
ZUM '97: The Z formal specification notation 10th International Conference of Z Users, Reading, UK, April 3 - 4, 1997; proceedings Jonathan P. Bowen ... (eds.) von Reihen: ; 1212 | Lecture notes in computer science ; 1212
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1997
Weitere Titel:
  • The Z formal specification notation
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1212.
Vormerken Zum Korb hinzufügen
4.
ZUM '98: The Z formal specification notation 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (Eds.) von Reihen: ; 1493 | Lecture notes in computer science ; 1493
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Springer 1998
Weitere Titel:
  • 11th International Conference of Z Users 1998 ZUM 9́8
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1493.
Vormerken Zum Korb hinzufügen
5.
ZB 2000: formal specification and development in Z and B proceedings First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (eds.) von Reihen: ; 187800 | Lecture notes in computer science ; 1878
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 2000
Weitere Titel:
  • First International Conference of B and Z Users
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1878.
Vormerken Zum Korb hinzufügen
6.
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 ZB 2002. Didier Bert ... (ed.) von Reihen: ; 227200 | Lecture notes in computer science ; 2272
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • ZB 2002, International Conference of B and Z Users
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2272.
Vormerken Zum Korb hinzufügen
7.
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 ZB 2003. Didier Bert ... (eds.) von Reihen: ; 265100 | Lecture notes in computer science ; 2651
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • ZB 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2651.
Vormerken Zum Korb hinzufügen
8.
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 Helen Treharne...(eds.) von Reihen: ; 345500 | Lecture notes in computer science ; 3455
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11415787
Verlag: Berlin Heidelberg [u.a.] Springer 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3455.
Vormerken Zum Korb hinzufügen
9.
Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca (eds.) von Reihen: ; 523800 | Lecture notes in computer science ; 5238
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12518180
Verlag: Berlin Heidelberg [u.a.] Springer 2008
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 5238.
Vormerken Zum Korb hinzufügen
10.
Abstract state machines, Alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings Marc Frappier ,,, (eds.) von Reihen: ; 597700 | Lecture notes in computer science ; 5977
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12990580
Verlag: Berlin Heidelberg [u.a.] Springer 2010
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 5977.
Vormerken Zum Korb hinzufügen
11.
Abstract state machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 ; proceedings John Derrick ... (eds.) von Reihen: ; 731600 | Lecture notes in computer science ; 7316
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86105486
Verlag: Berlin Heidelberg Springer 2012
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 7316.
Vormerken Zum Korb hinzufügen
12.
Abstract state machines, alloy, B, TLA, VDM, and Z 4th international conference; proceedings ABZ 2014, Toulouse, France, June 2 - 6, 2014. Yamine Ait Ameur ... (eds.) von Reihen: ; 8477 | Lecture notes in computer science ; 8477
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86370556
Verlag: Heidelberg Berlin [u.a.] Springer 2014
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 8477.
Vormerken Zum Korb hinzufügen
13.
Z User Workshop proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 J. E. Nicholls (ed.). Publ. in collab. with the British Computer Society von Reihen: Workshops in computing
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London Berlin Heidelberg [u.a.] Springer 1990
Weitere Titel:
  • Z z-user
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NICh j 1990:1 1.Ex.
Vormerken Zum Korb hinzufügen
14.
Z User Workshop, York, 1991 proceedings of the sixth Annual Z User Meeting, York, 16 - 17 December 1991 J. E. Nicholls (ed.) von Reihen: Workshops in computing
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London Berlin Heidelberg [u.a.] Springer-Verlag 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NICh j 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
15.
Object orientation in Z Susan Stepney ... (ed.). Publ. in collab. with the British Computer Society von Reihen: Workshops in computing
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London Berlin Heidelberg [u.a.] Springer 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) StEP s 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
16.
Z an introduction to formal methods Antoni Diller von
Auflage: 2. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Chichester [u.a.] Wiley 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DIL a 1994:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
17.
Z an introduction to formal methods Antoni Diller von
Auflage: 2. ed., repr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Chichester [u.a.] Wiley 1996
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
18.
The way of Z practical programming with formal methods Jonathan Jacky von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) JACk j 1997:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
19.
The way of Z practical programming with formal methods Jonathan Jacky von
Auflage: Reprint.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 2001
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) JACk j 2001:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha