Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Principles of the Spin Model Checker
Engelsk
Bogcover for Principles of the Spin Model Checker af Mordechai Ben-Ari, 9781846287695
Specifikationer
Sprog:
Engelsk
Sider:
220
ISBN-13:
9781846287695
Indbinding:
Paperback
ISBN-10:
1846287693
Udg. Dato:
8 jan 2008
Størrelse i cm:
22,2 x 14,1 x 2,4
Oplagsdato:
8 jan 2008
Forfatter(e):

Principles of the Spin Model Checker

Engelsk
Paperback 2008
Format:

Bog beskrivelse

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.

... Vis mere

Forlags Vejl. pris
640,75 kr
Hos Booktok
532 kr
spar 17%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
220
ISBN-13:
9781846287695
Indbinding:
Paperback
ISBN-10:
1846287693
Udg. Dato:
8 jan 2008
Størrelse i cm:
22,2 x 14,1 x 2,4
Oplagsdato:
8 jan 2008
Forfatter(e):
Finder produkter...
Kategori sammenhænge