Zum Inhalt springen

  1. Monin, Jean-François [Verfasser:in]; Monin, Jean François [Verfasser:in] ; Hinchey, Michael Gerard [Sonstige Person, Familie und Körperschaft]

    Understanding formal methods

    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.

    London; Berlin; Heidelberg [u.a.]: Springer, 2003

  7. Spies, Katharina [Verfasser:in]

    Eine Methode zur formalen Modellierung von Betriebssystemkonzepten

    Bücher
    Schließen

    Merkliste

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

    München: SFB 342, 1998

    Erschienen in: Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / A ; 98,3 - Technische Universität München: Institut für Informatik, Technische Universität München ; 98,9

  11. Aldini, Alessandro [Herausgeber:in] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro

    Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures

    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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6154

  19. Hierons, Robert M. [Herausgeber:in]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Harman, Mark [Sonstige Person, Familie und Körperschaft]

    Formal methods and testing : an outcome of the FORTEST network ; revised selected papers

    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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4949

  20. Bernardo, Marco [Herausgeber:in]; Padovani, Luca [Sonstige Person, Familie und Körperschaft]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 9 2009 Bertinoro

    Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures

    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, [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5569