Titel |
HOL-CSP : mechanised formal devlopment mof concurrent processes / Haykal Tej |
|---|---|
Beteiligt |
Haykal Tej (Verfasser) |
Erschienen |
Berlin: Logos-Verl. |
Umfang |
VI, 149 S. |
Hochschulschrift |
Zugl.: Bremen, Univ., Diss., 2003 |
ISBN |
978-3-8325-0287-4 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
HOL, Isabelle (Programm), CSP, Nebenläufigkeit, Softwareentwicklung, Formale Methode |
Reihe |
BISS monographs : monographs of the Bremen Institute of Safe Systems ; 19 |
Datensatz-ID |
968614396 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: