Zum Inhalt springen

  1. Reincke, Ruben-Benjamin [VerfasserIn]; Pechau, Jörg [VerfasserIn]

    Ansätze zu Spezifikation und Verifikation mit VDM : Fallstudie Analog-Ein/Ausgabe im Strahlungsmesssystem SINUPERM M

    Bücher
    Schließen

    Merkliste

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

    Kiel: Inst. für Informatik und Praktische Mathematik, 1994

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9418

  2. Jones, Cliff B. [VerfasserIn]

    Systematic software development using VDM

    Bücher
    Schließen

    Merkliste

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

    Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986

    Erschienen in: Prentice-Hall international series in computer science

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

  4. Bjørner, Dines [HerausgeberIn]; Bjoerner, Dines [HerausgeberIn] ; Europäische Kommission VDM Europe Working Group, VDM 3 1990 Kiel

    VDM '90, VDM and Z - formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990 ; 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, 1990

    Erschienen in: Lecture notes in computer science ; 428

  5. Prehn, Sœren [HerausgeberIn] ; Europäische Kommission VDM Europe Working Group, VDM 4 1991 Noordwijkerhout

    Formal software development methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands October 21 - 25, 1991; 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-Verl., 19XX-

    Erschienen in: Lecture notes in computer science ; .

  6. Verband Deutscher Musikschulen

    Schriftenreihe des VdM

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

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

    Bonn: VdM-Verl., 1962-1993 / 20.1962 - 30.1993 nachgewiesen

  7. Hekmatpour, Sharam [VerfasserIn] ; Ince, Darrel [Sonstige Person, Familie und Körperschaft]

    Software prototyping, formal methods and VDM - [1. print.]

    Bücher
    Schließen

    Merkliste

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

    Wokingham [u.a.]: Addison-Wesley, 1988

    Erschienen in: International computer science series

  8. Der Motorjournalist : das Jahrbuch des VdM mit den aktuellen Themen und Trends der Branche

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

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

    Stuttgart: Verband der Motorjournalisten e.V., 1954- ; Berlin-Schlachtensee: Kroll, 1954-[?] ; Düsseldorf: Verb. der Motorjournalisten, früher ; Hamm: Verb. der Motorjournalisten, früher ; Erkelenz-Holzweiler: Hendrisch, früher ; Limburg: Verl. von dabbelju, früher ; Limburg: Motorjournalist, -2010 ; Stuttgart: Amedick & Sommer GmbH, früher / 1954-2016, 4 ; Edition 2017-