MENÜ MENÜ  

cover

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

40.50 €
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?