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 20 et le 23 mai
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 20 et le 23 mai
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 ... Voir plus -
86,36 €
Produit Neuf
Ou 21,59 € /mois
- Livraison à 0,01 €
- Livré entre le 23 et le 30 mai
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
- Livraison : 25,00 €
- Livré entre le 6 et le 11 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 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
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Théorie Et Pratique De La Programmation Cobol
1 avis
Occasion dès 27,00 €
-
Guide Pratique De L'électrotechnique - Toutes Les Bases Pour Comprendre L'appareillage Électrotechnique
1 avis
Occasion dès 27,00 €
-
Linux - Préparation À La Certification Lpic-2 (Examens Lpi 201 Et Lpi 202)
Occasion dès 33,09 €
-
Intelligence Artificielle - Mythes Et Limites
2 avis
Occasion dès 25,00 €
-
Guide Pratique De L'electronique
Neuf dès 25,90 €
Occasion dès 47,57 €
-
306 Circuits
3 avis
Occasion dès 36,62 €
-
Le Multimedia - Marché, Droit Et Pratiques Juridiques
Occasion dès 31,00 €
-
Programmer En Cobol - Développement Et Maintenance De Programmes
Occasion dès 38,48 €
-
C# 12 - Développez Des Applications Windows Avec Visual Studio 2022
Occasion dès 27,50 €
-
Retro Arcade Classics - La Grande Histoire Des Bornes De Jeux Vidéo
Neuf dès 34,95 €
Occasion dès 28,49 €
-
Elixir - Un Langage De Programmation 100 % Web
Neuf dès 39,00 €
Occasion dès 25,00 €
-
Pratique Des Oscilloscopes - Technique, Mesures, Manipulations
2 avis
Occasion dès 24,55 €
-
Robotique - Traité De Robotique 3 La Partie Commande : Gestuelle, Précision, Vibrations, Sécurité
Neuf dès 55,80 €
Occasion dès 30,00 €
-
Metasploit - Guide Du Pentester
Neuf dès 32,95 €
Occasion dès 29,68 €
-
L'ia, Comment Ça Marche ?
Neuf dès 27,95 €
Occasion dès 26,55 €
-
L'art De Clair Obscur : Expedition 33
13 avis
Neuf dès 39,90 €
Occasion dès 59,19 €
-
Les Algorithmes De Base De L'informatique Quantique - Tome 2, Grover, Shor Et Métaheuristiques Quantiques
Neuf dès 39,00 €
-
The Elder Scrolls V, Skyrim - Peuples Et Créatures
6 avis
Occasion dès 69,00 €
-
Certified Ethical Hacker - Préparation À La Certification Ceh
Neuf dès 59,00 €
-
Le Renseignement Offensif
1 avis
Occasion dès 51,95 €
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