Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Principles of the Spin Model Checker
- Bindende:
- Paperback
- Sider:
- 220
- Utgitt:
- 8. januar 2008
- Utgave:
- 2008
- Dimensjoner:
- 141x222x24 mm.
- Vekt:
- 535 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 19. mars 2025
Beskrivelse av Principles of the Spin Model Checker
This is the first introductory textbook on Spin, the only requirement is a background in programming. 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.
Brukervurderinger av Principles of the Spin Model Checker
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Principles of the Spin Model Checker finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
