Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "119103265"
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/860614611 |
| Titel | Specification-oriented semantics for communicating processes / E.-R. Olderog and C. A. R. Hoare. Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ., Kiel |
| Person(en) |
Olderog, Ernst-Rüdiger (Verfasser) Hoare, Charles A. R. (Verfasser) |
| Ausgabe | (Rev. version) |
| Verlag | Kiel : Inst. für Informatik u. Prakt. Mathematik |
| Zeitliche Einordnung | Erscheinungsdatum: 1985 |
| Umfang/Format | 93 S. : graph. Darst. ; 21 cm |
| ISBN/Einband/Preis | kart. (Pr. nicht mitget.) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; Nr. 8506 |
| Anmerkungen |
Literaturverz. S. 89 - 93 Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 86/17613
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SB 9530-8506
Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
