Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung zwingend notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: idn=968614396



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/968614396
Art des Inhalts Hochschulschrift
Titel HOL-CSP : mechanised formal devlopment mof concurrent processes / Haykal Tej
Person(en) Tej, Haykal (Verfasser)
Verlag Berlin : Logos-Verl.
Zeitliche Einordnung Erscheinungsdatum: 2003
Umfang/Format VI, 149 S. ; 21 cm
Hochschulschrift Zugl.: Bremen, Univ., Diss., 2003
ISBN/Einband/Preis 978-3-8325-0287-4 kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10
3-8325-0287-4 kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10
EAN 9783832502874
Sprache(n) Englisch (eng)
Beziehungen Bremer Institut für Sichere Systeme: BISS monographs ; 19
Schlagwörter HOL ; Isabelle <Programm> ; CSP ; Nebenläufigkeit ; Softwareentwicklung ; Formale Methode
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: 2003 A 40794
Bereitstellung in Frankfurt
Leipzig Signatur: 2003 A 40794
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration