Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Kataloge/Sammlungen:  Teilbestand nach VGG
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
 

Ergebnis der Suche nach: "119103265"



Treffer 1 von 1 < < > <



Bücher
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
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration