MENÜ
HOL-CSP: Mechanise Formal Development of Concurrent Processes
BISS Monographs, Bd. 19
Haykal Tej
ISBN 978-3-8325-0287-4
156 pages, year of publication: 2003
price: 40.50 €
Keywords:
- Formale Methoden
- Prozessalgebra
- Theorembeweiser
- CSP
- Isabelle
BUYING OPTIONS