Logic In Computer Science - Modelling And Reasoning About Systems - Huth Michael
- 2nd edition
- Format: Grand format Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix 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 plus49,04 €
Occasion · Très Bon État
Ou 12,26 € /mois
- Livraison GRATUITE
- Livré entre le 6 et le 9 juin
Livré gratuitement chez vous en 2 semaines. Article presque inutilisé, absence presque totale de traces d'utilisation. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis...
Nos autres offres
-
Prix neuf 61,30 €
-20%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 plus49,04 €
Occasion · Bon État
Ou 12,26 € /mois
- Livraison GRATUITE
- Livré entre le 6 et le 9 juin
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 clients.
Voir le détail de l'annonce -
87,09 €
Produit Neuf
Ou 21,77 € /mois
- Livraison à 0,01 €
- Livré entre le 9 et le 18 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9780521543101_dbm
Voir le détail de l'annonce -
115,42 €
Occasion · Très Bon État
Ou 28,86 € /mois
- Livraison : 25,00 €
- Livré entre le 23 et le 29 juin
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.
-
Electrotechnique
6 avis
Neuf dès 84,90 €
Occasion dès 50,48 €
-
Programmer En Cobol - Développement Et Maintenance De Programmes
1 avis
Occasion dès 37,68 €
-
World Of Warcraft - Chroniques - Tome 4
1 avis
Neuf dès 35,00 €
Occasion dès 29,41 €
-
Algorithmique - Cours Avec 957 Exercices Et 158 Problèmes
2 avis
Occasion dès 45,68 €
-
Enceintes Acoustiques Hauts-Parleurs
2 avis
Occasion dès 38,25 €
-
Fondamentaux De La Robotique - Géométrie, Cinématique, Dynamique Et Commande
1 avis
Occasion dès 28,88 €
-
Le Renseignement Offensif
1 avis
Occasion dès 50,00 €
-
Playstation, Le Livre Des 30 Ans
Neuf dès 49,90 €
Occasion dès 24,98 €
-
Cryptologie Appliquée. - Algorithmes, Protocoles Et Codes Source En C, 2ème Édition
1 avis
Occasion dès 40,00 €
-
Ingénierie De L'ia
2 avis
Neuf dès 49,95 €
Occasion dès 40,86 €
-
Machine Learning Avec Scikit-Learn - Mise En Oeuvre Et Cas Concrets
1 avis
Neuf dès 39,00 €
Occasion dès 32,82 €
-
Algorithmes Et Structures De Données Génériques - Cours Et Exercices Corrigés En Langage C
Occasion dès 25,20 €
-
Entrepots De Donnees - Guide Pratique De Modelisation Dimensionnelle, 2eme Edition
1 avis
Occasion dès 50,00 €
-
La Saga Suikoden - Une Étoile Au Firmament Du J-Rpg
Neuf dès 29,90 €
Occasion dès 25,14 €
-
Principes D'électrotechnique - Cours Et Exercices Corrigés
1 avis
Occasion dès 27,00 €
-
Le Security Operations Center Au Coeur De La Cybersécurité - La Nécessaire Constante Évolution Du Soc
1 avis
Occasion dès 38,48 €
-
Photoshop Cc Pour Les Nuls
1 avis
Neuf dès 27,95 €
Occasion dès 25,16 €
-
Toute L'informatique En Cpge Scientifiques 1re Et 2e Années - Cours Complet Et Détaillé, Exercices Corrigés Avec Python, Sql Et Scilab, Annales Corrigées
1 avis
Neuf dès 45,00 €
Occasion dès 27,98 €
-
Collector's Quest
1 avis
Occasion dès 32,76 €
-
Les Nouveaux Schémas Directeurs Des Si - Gouvernance, Valeur Et Stratégie
Occasion dès 68,00 €
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