Photo 1 sur 1
VÉRIFICATION DES SYSTÈMES ET LOGICIELS Techniques et outils de vérification des modèles - NEUF - 2001
État :
Prix :
69,97 $C
- Achat immédiatVÉRIFICATION DES SYSTÈMES ET LOGICIELS Techniques et outils de vérification des modèles - NEUF - 2001
Offre directe :
Expédition :
Les objets provenant de l'étranger pourraient faire l'objet de frais d'administration douanière et de frais supplémentaires.
Lieu : Etobicoke, Canada
Livraison :
Livraison prévue entre le lun. 17 juin et le lun. 24 juin à 43230
Veuillez prévoir un délai supplémentaire si la livraison internationale est assujettie à des formalités douanières.
Renvois :
Paiements :
Espèces en mains propres
Magasinez en toute confiance
Informations sur le vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :252398427798
Dernière mise à jour : avr. 08, 2024 10:29:17 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- Country/Region of Manufacture
- United States
- Modified Item
- No
- Product Type
- Textbook
- ISBN
- 9783540415237
- Subject Area
- Computers
- Publication Name
- Systems and Software Verification : Model-Checking Techniques and Tools
- Item Length
- 9.3 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics
- Publication Year
- 2001
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 37 Oz
- Number of Pages
- Xii, 190 Pages
À propos de ce produit
Product Information
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540415238
ISBN-13
9783540415237
eBay Product ID (ePID)
1944787
Product Key Features
Publication Name
Systems and Software Verification : Model-Checking Techniques and Tools
Format
Hardcover
Language
English
Subject
Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics
Publication Year
2001
Type
Textbook
Subject Area
Computers
Number of Pages
Xii, 190 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
37 Oz
Additional Product Features
LCCN
2001-032056
Intended Audience
Scholarly & Professional
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
1. Automata.- 2. Temporal Logic.- 3. Model Checking.- 4. Symbolic Model Checking.- 5. Timed Automata.- 6. Reachability Properties.- 7. Safety Properties.- 8. Liveness Properties.- 9. Deadlock-freeness.- 10. Fairness Properties.- 11. Abstraction Methods.- 12. SMV -- Symbolic Model Checking.- 13. SPIN -- Communicating Automata.- 14. DESIGN/CPN -- Coloured Petri Nets.- 15. UPPAAL -- Timed Systems.- 16. KRONOS -- Model Checking of Real-time Systems.- 17. HYTECH -- Linear Hybrid Systems.- Main Bibliography.
Copyright Date
2001
Dewey Decimal
005.14
Dewey Edition
22
Illustrated
Yes
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :252398427798
Dernière mise à jour : avr. 08, 2024 10:29:17 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Etobicoke, Canada
Expédition :
Monde entier
Lieux exclus :
Arabie saoudite, Biélorussie, Brésil, Koweït, Macédoine, Maroc, Qatar, Russie, Ukraine
| Expédition et manutention | À | Service | Livraison*Voir les remarques sur la livraison |
|---|---|---|---|
| 29,95 $C | États-Unis | Canada Post Expedited Parcel - USA | Livraison prévue entre le lun. 17 juin et le lun. 24 juin à 43230 |
| 24,95 $C | États-Unis | Canada Post Tracked Packet - USA | Livraison prévue entre le lun. 17 juin et le lun. 24 juin à 43230 |
| 65,00 $C | États-Unis | Canada Post Tracked Packet - International (Non-US) | Livraison prévue entre le lun. 17 juin et le lun. 24 juin à 43230 |
| 50,00 $C | États-Unis | Small Packets - International (Non-US) - Air | Livraison prévue entre le lun. 17 juin et le lun. 24 juin à 43230 |
| Délai de manutention |
|---|
| Expédition dans les 2 jours ouvrables après réception du paiement. |
| Taxes |
|---|
| Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (252398427798)
Taxe de vente pour cet objet (252398427798)
Le vendeur facture une taxe de vente pour les États suivants :
| État | Taux de la taxe de vente |
|---|
Modalités de renvoi
| Détails sur les modalités de renvoi |
|---|
| Le vendeur refusera les renvois pour cet objet. |
Détails du paiement
Modes de paiement
Espèces en mains propres
Catégories populaires de cette Boutique
Évaluations comme vendeur (2 754)
a***z (7)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
The overall package was excellent! Would totally recommend this one!
p***s (295)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Nifty bit. Hard to find, as its not smiled upon now. Perfect transaction. Recommended seller.
r***o (96)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Thank you for giving me the opportunity to pimp my DJ setup. My deck's gonna look so fire! *****