Skip to contents

  2. Lano, Kevin [Author]

    Formal object-oriented development

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

  7. Bowen, Jonathan P. [Author] ; Fett, Andreas [Other]; Hinchey, Michael G. [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Published in: Lecture notes in computer science ; 1493

  8. Henson, Martin [Other]; King, Steve [Other]; Schneider, Steve [Other]; Treharne, Helen [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3455

  9. Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; King, Steve [Other]; Waldén, Marina [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Published in: Lecture notes in computer science ; 2651

  10. Goos, Gerhard [Author] ; Hartmanis, Juris [Other]; Leeuwen, Jan [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Published in: Lecture notes in computer science ; 1878

  11. Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; Henson, Martin C. [Other]; Robinson, Ken [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Published in: Lecture notes in computer science ; 2272