ny
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. The Spin model checker is not only a widely used professional tool but it is also......
fra 749,-
Tilgjengelig i 1 butikker
Frakt og levering
Produktinformasjon
<P>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. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website.</P>
Topplisten: Other Brand Ungdomsskole/videregående
Grunntall 9
270,-
2
Teaterhistorie. Bd. 2
110,-
2
Grunntall 8
450,-
2
Tema
79,-
1
Grunntall 9 ekstra
110,-
2
Franske verber
99,-
2
Teaterproduksjon
140,-
1
Spesifikasjon
Produkt
| Produktnavn | Principles of the Spin Model Checker |
| Merke | Other Brand |
Pris og prishistorikk
Akkurat nå er 749,- den billigste prisen for Principles of the Spin Model Checker blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste ungdomsskole/videregående for å være sikker på at du gjør det beste kjøpet.