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 · Bon État
Ou 12,26 € /mois
- Livraison GRATUITE
- Livré entre le 2 et le 7 avril
Nos autres offres
-
86,36 €
Produit Neuf
Ou 21,59 € /mois
- Livraison à 0,01 €
- Livré entre le 7 et le 14 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9780521543101_dbm
-
115,42 €
Occasion · Très Bon État
Ou 28,86 € /mois
5,77 € offerts- Livraison : 25,00 €
- Livré entre le 20 et le 25 avril
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 moi... Voir plus
- 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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
L'art De Clair Obscur : Expedition 33
13 avis
Occasion dès 49,90 €
-
Electronique Electrocinétique 1ère Année Mpsi-Pcsi-Ptsi
Occasion dès 26,66 €
-
Dark Souls - Par-Delà La Mort
3 avis
Occasion dès 60,00 €
-
World Of Warcraft - Chroniques - Tome 4
1 avis
Neuf dès 35,00 €
Occasion dès 79,89 €
-
Space Invaders - Comment Tomohiro Nishikado A Donné Naissance Au Jeu Vidéo Japonais !
Occasion dès 59,90 €
-
World Of Warcraft - A La Découverte D'azeroth - Iles Et Îlots D'azeroth
Neuf dès 30,00 €
Occasion dès 73,64 €
-
Traitement Des Composants Et Des Circuits - Equations Et Simulation, Diodes, Transistors, Mosfet, Régulateurs
Neuf dès 27,50 €
-
Final Fantasy Xv - The Dawn Of The Future
Neuf dès 31,22 €
-
Voyage À L'intérieur De L'as/400 (As400)
5 avis
Occasion dès 29,00 €
-
Jfms 2022 Les Journées Francophones De La Modélisation Et De La Simulation - Ingénierie Dirigée Par Les Modèles Pour La Théorie De La Modélisation Et De La Simulation Et Les Systèmes...
Neuf dès 32,00 €
-
Entrainements Electriques A Vitesse Variable - Volume 2, Rappels D'electronique De Puissance Et D'automatique, Les Variateurs Electroniques De Vitesse
Occasion dès 28,00 €
-
Electronix - Le Rétrogaming Dans La Poche !
2 avis
Neuf dès 35,00 €
Occasion dès 33,25 €
-
Instagram Pour Les Nuls
Occasion dès 24,95 €
-
Le Grand Livre De L'impression 3d
Neuf dès 28,00 €
-
Légende Final Fantasy X (La)
5 avis
Neuf dès 24,90 €
Occasion dès 72,00 €
-
Python Data Science Handbook - Essential Tools For Working With Data
Occasion dès 30,00 €
-
Cryptologie Appliquée. - Algorithmes, Protocoles Et Codes Source En C, 2ème Édition
1 avis
Occasion dès 50,00 €
-
Algorithmique - Cours Avec 957 Exercices Et 158 Problèmes
3 avis
Occasion dès 35,00 €
-
La Data - Guide De Survie Dans Le Monde De La Donnée
1 avis
Neuf dès 45,00 €
Occasion dès 32,90 €
-
Principes D'électronique
1 avis
Neuf dès 69,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