Zum Inhalt springen

  5. Dean, C. Neville [Sonstige Person, Familie und Körperschaft]; Dean, Neville [HerausgeberIn]

    Teaching and learning formal methods

    Bücher
    Schließen

    Merkliste

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

    London [u.a.]: Academic Press, c 1996

    Erschienen in: Academic Press international series in formal methods

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

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

    Erschienen in: Lecture notes in computer science ; 4355

  9. Guttag, John [VerfasserIn]; Guttag, John V. [VerfasserIn]; Horning, James J. [VerfasserIn]

    Larch : languages and tools for formal specification

    Bücher
    Schließen

    Merkliste

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

    New York; Heidelberg [u.a.]: Springer, 1993

    Erschienen in: Texts and monographs in computer science

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

  15. Van, Hung Dang [HerausgeberIn]

    Specification case studies in RAISE

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

  17. Bauer, Friedrich L. [HerausgeberIn] ; NATO Division of Scientific Affairs, Advanced Study Institute on Logic and Algebra of Specification 1991 Marktoberdorf

    Logic and algebra of specification : [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]

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

    Erschienen in: NATO: NATO ASI series / F ; 94

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

  19. Alagar, Vangalur S. [HerausgeberIn] ; British Computer Society, Workshop on Formal Methods in Databases and Software Engineering 1992 Montréal

    Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

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

    Erschienen in: Workshops in computing