Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=115312803



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/115312803
Name Pechau, Jörg
Publikationen von Autoren mit diesem Namen 1 Publikation
  1. Ansätze zu Spezifikation und Verifikation mit VDM
    Reincke, Ruben-Benjamin. - Kiel : Inst. für Informatik und Praktische Mathematik, 1994





Treffer 1 von 1
< < > <


E-Mail-IconAdministration