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

Cover
Inst. für Informatik und Praktische Mathematik, 1994 - 112 Seiten

Bibliografische Informationen

TitelAnsätze zu Spezifikation und Verifikation mit VDM: Fallstudie Analog-Ein/Ausgabe im Strahlungsmesssystem SINUPERM M
Ausgabe 9418 von Bericht, Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik
Band 9418 von Bericht, Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Band 9418 von Kiel Bericht
AutorenRuben-Benjamin Reincke, Jörg Pechau
VerlagInst. für Informatik und Praktische Mathematik, 1994
Länge112 Seiten
  
Zitat exportierenBiBTeX EndNote RefMan