Zum Inhalt springen

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

    Understanding 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; Berlin; Heidelberg [u.a.]: Springer, 2003

  6. Spies, Katharina [VerfasserIn]

    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

  10. Weißhahn, Guido [VerfasserIn]; Rönsch, Torsten [VerfasserIn]; Sachsen, Pierre [VerfasserIn]

    Entscheidungsunterstützung / 1, Multiattributive Nutzentheorie und Formale Begriffsanalyse

    Bücher
    Schließen

    Merkliste

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

    Dresden: Techn. Univ., Inst. für Allgemeine Psychologie u. Methoden d. Psychologie, 1998

    Erschienen in: Entscheidungsunterstützung / Guido Weißhahn; Torsten Rönsch; Pierre Sachse ; 1 - Technische Universität Dresden: Forschungsberichte ; 52

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

  20. Aldini, Alessandro [HerausgeberIn] ; 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
    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