Zum Inhalt springen

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

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

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

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

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