Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Für die Filterung wurden keine Ergebnisse gefunden!
frontend/listing/product-box/box-basic.tpl
Principles of the SPIN Model Checker
  • Kartoniert
  • 216 Seiten
  • Erschienen 2008
  • Springer-Verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Principles of the SPIN Model Checker
This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use....
69,54 €

Zuletzt angesehen