Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage

Schneider HJ (1979)

Publication Language: German

Publication Type: Other publication type

Publication year: 1979

Event location: Stuttgart

Authors with CRIS profile

Hans Jürgen Schneider Lehrstuhl für Informatik 2 (Programmiersysteme)

How to cite

APA:

Schneider, H.J. (1979). Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage.

MLA:

Schneider, Hans Jürgen. Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage. 1979.

BibTeX: Download