MENÜ
HOL-CSP: Mechanise Formal Development of Concurrent Processes
BISS Monographs, Bd. 19
Haykal Tej
ISBN 978-3-8325-0287-4
156 Seiten, Erscheinungsjahr: 2003
Preis: 40.50 €
Keywords:
- Formale Methoden
- Prozessalgebra
- Theorembeweiser
- CSP
- Isabelle
Kaufoptionen
| Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz