Zum Inhalt springen

  1. 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

    Bücher
    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

  2. Lano, Kevin [VerfasserIn]

    Formal object-oriented development

    Bücher
    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

  3. 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

    Bücher
    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

  7. Bowen, Jonathan P. [VerfasserIn] ; Fett, Andreas [Sonstige Person, Familie und Körperschaft]; Hinchey, Michael G. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1493

  8. Henson, Martin [Sonstige Person, Familie und Körperschaft]; King, Steve [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft]; Treharne, Helen [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3455

  9. Bert, Didier [VerfasserIn] ; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; King, Steve [Sonstige Person, Familie und Körperschaft]; Waldén, Marina [Sonstige Person, Familie und Körperschaft]

    ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2651

  10. Goos, Gerhard [VerfasserIn] ; Hartmanis, Juris [Sonstige Person, Familie und Körperschaft]; Leeuwen, Jan [Sonstige Person, Familie und Körperschaft]

    ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1878

  11. Bert, Didier [VerfasserIn] ; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Henson, Martin C. [Sonstige Person, Familie und Körperschaft]; Robinson, Ken [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2272