EUR 62,62
  • Tous les prix incluent la TVA.
Il ne reste plus que 1 exemplaire(s) en stock (d'autres exemplaires sont en cours d'acheminement).
Expédié et vendu par Amazon. Emballage cadeau disponible.
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir les 3 images

The SPIN Model Checker: Primer and Reference Manual (paperback) (Anglais) Broché – 4 septembre 2003


Voir les 2 formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Relié
EUR 152,90 EUR 38,99
Broché
EUR 62,62
EUR 62,62 EUR 131,00
Note: Cet article est éligible à la livraison en points de collecte. Détails
Récupérer votre colis où vous voulez quand vous voulez.
  • Choisissez parmi 17 000 points de collecte en France
  • Les membres du programme Amazon Prime bénéficient de livraison gratuites illimitées
Comment commander vers un point de collecte ?
  1. Trouvez votre point de collecte et ajoutez-le à votre carnet d’adresses
  2. Sélectionnez cette adresse lors de votre commande
Plus d’informations
click to open popover

Offres spéciales et liens associés


Description du produit

Présentation de l'éditeur

The SPIN Model Checker is used for both teaching software verification

techniques, and for validating large scale applications. The growing number of

users has created a need for a more comprehensive user guide and a standard

reference manual that describes the most recent version of the tool. This book

fills that need.

 

SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com

receives between 2500 and 3000 hits per day.

It has been estimated that up to three-quarters of the $400 billion spent

annually to hire programmers in the United States is ultimately spent on

debugging

Quatrième de couverture

Master SPIN, the breakthrough tool for improving software reliability

SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen years ago. The tool has been applied to everything from the verification of complex call processing software that is used in telephone exchanges, to the validation of intricate control software for interplanetary spacecraft.

This is the most comprehensive reference guide to SPIN, written by the principal designer of the tool. It covers the tool's specification language and theoretical foundation, and gives detailed advice on methods for tackling the most complex software verification problems.

  • Sum Design and verify both abstract and detailed verification models of complex systems software
  • Sum Develop a solid understanding of the theory behind logic model checking
  • Sum Become an expert user of the SPIN command line interface, the Xspin graphical user interface, and the TimeLine editing tool
  • Sum Learn the basic theory of omega automata, linear temporal logic, depth-first and breadth-first search, search optimization, and model extraction from source code

The SPIN software was awarded the prestigious Software System Award by the Association for Computing Machinery (ACM), which previously recognized systems such as UNIX, SmallTalk, TCP/IP, Tcl/Tk, and the World Wide Web.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
Partagez votre opinion avec les autres clients

Commentaires client les plus utiles sur Amazon.com

Amazon.com: 4,5 sur 5 étoiles 5 commentaires
5,0 sur 5 étoilesGreat reference manual
le 14 février 2014 - Publié sur Amazon.com
Achat vérifié
4,0 sur 5 étoilesThe classic text for SPIN
le 9 mai 2013 - Publié sur Amazon.com
Achat vérifié
26 personnes ont trouvé cela utile.
5,0 sur 5 étoilesEssential reference for SPIN users
le 26 novembre 2003 - Publié sur Amazon.com
4,0 sur 5 étoilesautomatic verification of design
le 5 février 2006 - Publié sur Amazon.com
Une personne a trouvé cela utile.
5,0 sur 5 étoilesExecutable example or killer application are needed.
le 12 mars 2008 - Publié sur Amazon.com

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?