A logic for expressions with side-effects:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Böhm, Hans J. (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Ithaca, New York 1981
Schriftenreihe:Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 478
Umfang:29 S.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6052-478 Lageplan
Exemplar 1 Ausleihbar Am Standort