MENÜ MENÜ  

cover

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

40.50 €