Zum Inhalt springen

  7. Feijs, Loe M. [VerfasserIn]; Jonkers, Hans B. [VerfasserIn] ; Feijs, L. M. G. [Sonstige Person, Familie und Körperschaft]; Jonkers, H. B. M. [Sonstige Person, Familie und Körperschaft]

    Formal specification and design - [1. digital printed paperback version 2005]

    Bücher
    Schließen

    Merkliste

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

    Cambridge [u.a.]: Cambridge Univ. Press, 2005

    Erschienen in: Cambridge tracts in theoretical computer science ; 35.2005

  14. Ehrig, Hartmut [VerfasserIn]

    Fundamentals of algebraic graph transformation

    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: Monographs in theoretical computer science ; an EATCS series

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

  19. Hankin, Chris [HerausgeberIn] ; Imperial College of Science, Technology and Medicine Theory and Formal Methods Section, Theory and Formal Methods Workshop 2 1994 Cambridge

    Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop; [held in Cambridge on 11. - 14. September 1994]

    Bücher
    Schließen

    Merkliste

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

    [London]: Imperial College Press [u.a.], 1995