Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Action Logical Correctness Proving

Koblenz: Universität Koblenz-Landau 1996

Erscheinungsjahr: 1996

Publikationstyp: Buch

Autoren

Lautenbach, K. (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte