„Programmverifikation“

Suchergebnisse

470 Treffer

• Programmverifikation
  1994 Fernuniv.
• Integration von KESS-III-Modellen in ATHLET-CD und Beiträge zur Programmverifikation – Abschlussbericht
  Bruder, Martin ; Schatz, Alfred 1994 IKE
• Programmverifikation
  1994 Fernuniv.
• Programmverifikation
  1994 Fernuniv.
• Programmverifikation
  1994 Fernuniv.
• Programmverifikation
  1994 Fernuniv.
• Programmverifikation
  1994 Fernuniv.
• Verifikation und Validation – Software-Test für Studenten und Praktiker
  Thaller, Georg Erwin 1994 Vieweg
• Programmverifikation – sequentielle, parallele und verteilte Programme
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1994 Springer
• Static analysis – third international workshop ; proceedings
  Cousot, Patrick 1993 Springer
• Programmverifikation
  1992 Fernuniv.
• Programmverifikation
  1992 Fernuniv.
• Programmverifikation
  1992 Fernuniv.
• Programmverifikation
  1992 Fernuniv.
• Programmverifikation
  1992 Fernuniv.
• Programmverifikation
  1992 Fernuniv.
• Programmverifikation
  1992 Fernuniv.
• Testen, analysieren und verifizieren von Software – proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992
  Liggesmeyer, Peter 1992 Springer
• Einführung in die Programmverifikation – Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL
  Hohlfeld, Bernhard ; Struckmann, Werner 1992 BI-Wiss.-Verl.
• Programming and mathematical method – [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990]
  Broy, Manfred 1992 Springer