A formal system for specifying and verifying program performance:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Shaw, Mary (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Pittsburgh, Pa. 1979
Schriftenreihe:Carnegie-Mellon University <Pittsburgh, Pa.> / Computer Science Department: CMU-CS 129
Schlagwörter:
Umfang:20 S.