Principles of the Spin Model Checker (Bog, Paperback / softback, Engelsk) af Mordechai Ben-Ari
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmering / softwareudvikling
  5. Principles of the Spin Model Checker

Principles of the Spin Model Checker

(Bog, Paperback / softback, Engelsk)
Forfatter: Mordechai Ben-Ari
Forlag: Springer London Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Programmering / softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Principles of Spin is an introductory book, 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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfatter Mordechai Ben-Ari
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2008 ed.
Udgivelsesdato 08-01-2008
Første udgivelsesår 2008
Illustrationer 17 Illustrations, black and white; XVI, 220 p. 17 illus.
Originalsprog United Kingdom
Sideantal 220
Indbinding Paperback / softback
Forlag Springer London Ltd
Sideoplysninger 220 pages, 17 Illustrations, black and white; XVI, 220 p. 17 illus.
Mål 222 x 141 x 24
ISBN-13 / EAN-13 9781846287695