Logic In Computer Science - Modelling And Reasoning About Systems - Huth Michael
- 2nd edition
- Format: Grand format Voir le descriptif
Prix neuf 61,30 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus53,33 €
Occasion · Bon État
Ou 13,33 € /mois
- Livraison GRATUITE
- Livré entre le 14 et le 17 septembre
Livré gratuitement chez vous en 2 semaines. L'article présente des traces d'utilisation, mais est en bon état. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis (https://fr.shopping.rakuten.com/feedback/momox) de...
Nos autres offres
-
115,42 €
Occasion · Très Bon État
Ou 28,86 € /mois
- Livraison : 25,00 €
- Livré entre le 1 et le 6 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est compris entre 3 et 4 semaines. En periode de crise sanitaire, ces delais peuvent etre plus longs que prevu : jusqu'a 2 mois.
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 Logic In Computer Science - Modelling And Reasoning About Systems Format Grand format - Livre Informatique
0 avis sur Logic In Computer Science - Modelling And Reasoning About Systems Format Grand format - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Systèmes Temps Réel De Contrôle-Commande - Conception Et Implémentation
Occasion dès 72,44 €
-
Micro Et Nano-Électronique - Bases, Composants, Circuits
Occasion dès 29,00 €
-
Initiation À L'amplificateur Opérationnel - Classes Prépa/Maîtrise Eea/Iut/Bts
1 avis
Occasion dès 45,80 €
-
Travaux Pratiques Du Traite De L'electronique Analogique Et Numerique - Tome 2, Labo Numerique
1 avis
Occasion dès 49,90 €
-
Latcho Drom - Un Film De Tony Gatlif
3 avis
Occasion dès 30,00 €
-
Le Materiel Informatique - Concepts Et Principes
Occasion dès 48,46 €
-
Systèmes Experts Et Conduite De Processus
Occasion dès 44,00 €
-
Réseaux Multiplexés Pour Systèmes Embarqués - Can, Lin, Flexray, Safe-By-Wire
Occasion dès 38,52 €
-
Final Fantasy 8 Viii - Le Guide Officiel
48 avis
Occasion dès 79,99 €
-
Réseaux 4g - Technologies Et Services
1 avis
Occasion dès 68,40 €
-
Programmation Basic - Théorie Et Applications
1 avis
Occasion dès 45,00 €
-
Guide Pratique De L'intelligence Artificielle Dans L'entreprise - Anticiper Les Transformations, Mettre En Place Des Solutions
5 avis
Occasion dès 35,77 €
-
Securite Et Qualites Informatiques Nouvelles Orientations
Occasion dès 33,79 €
-
La Television En Couleurs Pal Et Secam - Tome 1, Principes Et Fonctionnements, 2eme Edition
1 avis
Occasion dès 54,30 €
-
Compilation Des Langages De Programmation - Ce Que Fait Un Compilateur, Comment Le Réaliser
Occasion dès 38,90 €
-
Systemique.Theorie Et Applications
Occasion dès 65,25 €
-
Internet Communication Et Langue Française
Occasion dès 62,68 €
-
Apple Watch Pour Les Nuls
Occasion dès 38,01 €
-
Lightwave 3d - La Toute Première Fois
Occasion dès 30,90 €
-
Mongodb - Comprendre Et Optimiser L'exploitation De Vos Données (Avec Exercices Et Corrigés)
1 avis
Occasion dès 34,90 €
Produits similaires
Présentation Logic In Computer Science - Modelling And Reasoning About Systems Format Grand format
- Livre Informatique
Résumé :
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing creates the need for individuals who are able to reason about sophisticated autonomous agent-oriented software acting on large networks. The second edition of this successful textbook addresses both those requirements, by continuing to provide an introduction to formal reasoning that is both relevant to the needs of modern computer science and rigorous enough for practical application. The presentation is clear and simple, with core material being described early in the book, and further technicalities introduced only where they are needed by the applications. A key feature is the full exposition of model-checking, and the new edition supports the most up-to-date versions of the tools NuSMV and Alloy. Improvements to the first edition have been made throughout, with extra and expanded sections on linear-time temporal logic model checking, SAT solvers, second-order logic, the Alloy specification tool, and programming by contract. The coverage of model-checking has been substantially updated. Further exercises have been added.
©
Détails de conformité du produit
Personne responsable dans l'UE