Temporal Logic and State Systems - Merz, Stephan
- Format: Broché
- 448 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre44,61 €
Produit Neuf
Ou 11,15 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
105,57 €
Produit Neuf
Ou 26,39 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 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.
- 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 Temporal Logic And State Systems Format Broché - Livre Informatique
0 avis sur Temporal Logic And State Systems Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
The Chinese Art Book
Neuf dès 197,99 €
Occasion dès 47,29 €
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Becoming Disfarmer
Occasion dès 23,00 €
-
Cricut Joy
Neuf dès 51,50 €
Occasion dès 100,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Century Series In Color (F-100 Super Sabre; F-101 Voodoo; F-102 Delta Dagger; F-104 Starfighter; F-105 Thunderchief; F-106 Delta Dart) - Fighting Colors Series (6501)
Occasion dès 54,82 €
-
7: - Best Karate 7: Jitte,Hangetsu, Empi
Occasion dès 53,35 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Peugeot 206 Petrol & Diesel (98 - 01) Haynes Repair Manual
Neuf dès 40,97 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 28,00 €
-
Grecs En Occident De L'age Mycénien À La Fin L'héllenisme
Occasion dès 25,00 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Anglais Spécial Toeic - Cahier De Vacances
Occasion dès 30,59 €
-
Ice Cold - A Hip-Hop Jewelry History
1 avis
Neuf dès 80,00 €
Occasion dès 39,00 €
-
Physiology Of The Heart
Neuf dès 44,80 €
Occasion dès 98,78 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Building Scientific Apparatus
Neuf dès 50,69 €
Produits similaires
Présentation Temporal Logic And State Systems Format Broché
- Livre InformatiqueAuteur(s) : Merz, Stephan - Kröger, FredEditeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/11/2010Format : Moyen, de 350g à 1kgNombre de pages : 448Expédition : 674Dimensions : 23.5...
Résumé :
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Sommaire:
Basic Concepts and Notions of Logics.- Basic Propositional Linear Temporal Logic.- Extensions of LTL.- Expressiveness of Propositional Linear Temporal Logics.- First-Order Linear Temporal Logic.- State Systems.- Verification of State Systems.- Verification of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification by Model Checking.
Détails de conformité du produit
Personne responsable dans l'UE