Logics in Computer Science - Mogavero, Fabio
- Format: Broché
- 168 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreLivre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
130,40 €
Produit Neuf
Ou 32,60 € /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 Logics In Computer Science Format Broché - Livre Informatique
0 avis sur Logics In Computer Science Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A Likely Lad
Neuf dès 32,85 €
Occasion dès 12,00 €
-
Understanding Understanding
Neuf dès 30,77 €
Occasion dès 278,99 €
-
The Main
Neuf dès 22,04 €
Occasion dès 34,99 €
-
Volllust | 22 Erotische Geschichten
Neuf dès 18,97 €
Occasion dès 47,99 €
-
Heretics Of Dune
Occasion dès 28,99 €
-
Spanish Classics For Guitar In Tablature
Neuf dès 19,43 €
Occasion dès 59,99 €
-
Nightmares In The Sky: Gargoyles And Grotesques
Occasion dès 25,00 €
-
Saturnine
2 avis
Neuf dès 15,64 €
Occasion dès 34,99 €
-
$100m Offers Summary And Workbook: How To Make Offers So Good People Feel Stupid Saying No
Occasion dès 14,30 €
-
Douglas Propliners: Dc-1 To Dc-7
1 avis
Occasion dès 12,00 €
-
Babars French Lessons (Babar Books)
Occasion dès 24,69 €
-
The Trigger Point Therapy Workbook: Your Self -Treatment Guide For Pain Relief: Your Self-Treatment For Pain Relief
Occasion dès 30,68 €
-
Complete Japanese Joinery : A Handbook Of Japanese Tool Use And Woodworking For Joiners And Carpenters
Neuf dès 27,67 €
Occasion dès 316,99 €
-
Una Grammatica Italiana Per Tutti 2 - Regole D'uso, Esercizi E Chiavi Per Studenti Stranieri - Volume 2: Livello Intermedio
1 avis
Occasion dès 16,74 €
-
Cien Años De Soledad
6 avis
Occasion dès 11,99 €
-
La Bible En 365 Jours: Plan De Lecture Chronologique (Lire La Bible) (French Edition)
Occasion dès 16,00 €
-
Influence, New And Expanded Uk
Neuf dès 30,61 €
Occasion dès 21,29 €
-
Impossible
Neuf dès 26,12 €
Occasion dès 15,88 €
-
Halloween Night Ii (Point Horror Series)
Occasion dès 26,99 €
-
Warriors: Battles Of The Clans
Neuf dès 22,78 €
Occasion dès 14,77 €
Produits similaires
Présentation Logics In Computer Science Format Broché
- Livre InformatiqueAuteur(s) : Mogavero, FabioEditeur : Atlantis PressLangue : AnglaisParution : 01/08/2015Format : Moyen, de 350g à 1kgNombre de pages : 168Expédition : 265Dimensions : 23.5 x 15.5 x 1.0 ...
Résumé :
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.
Sommaire: Graded Computation Tree Logic.- Minimal Model Quantifiers.- Reasoning About Strategies.- Relentful Strategic Reasoning.- Appendix A Mathematical Notation.
Détails de conformité du produit
Personne responsable dans l'UE