Systems and Software Verification - Berard, B.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre211,24 €
Produit Neuf
Ou 52,81 € /mois
- Livraison à 0,01 €
- Livré entre le 21 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642074783_dbm
Nos autres offres
-
170,40 €
Produit Neuf
Ou 42,60 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 10 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce -
211,24 €
Produit Neuf
Ou 52,81 € /mois
- Livraison à 0,01 €
- Livré entre le 21 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642074783_dbm
Voir le détail de l'annonce -
219,36 €
Produit Neuf
Ou 54,84 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 juillet
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Systems And Software Verification Format Broché - Livre Économie
0 avis sur Systems And Software Verification Format Broché - Livre Économie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
A First Course In Logic
Neuf dès 129,46 €
Occasion dès 192,99 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
The Lord Of The Rings
Neuf dès 183,44 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Gregory Crewdson
Occasion dès 100,00 €
-
Atlas On The Prophet's Biography
Occasion dès 110,00 €
Produits similaires
Présentation Systems And Software Verification Format Broché
- Livre Économie
Résumé :
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.
Sommaire:
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.
Détails de conformité du produit
Personne responsable dans l'UE