Proving operating systems correct

Teilw. zugl.: Stanford, Univ., Diss., 1980

Bibliographische Detailangaben

1. Verfasser:	Karp, Richard A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Ann Arbor, Mich. UMI Research Press c 1983
Schriftenreihe:	Computer science / Systems programming 16
Schlagworte:	Hochschulschrift > Programmierung > Programmverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!