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 plus27,39 €
Occasion · Très Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 5 jours
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
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 €
-55%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 plus27,38 €
Occasion · Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 5 jours
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
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 -
Prix neuf 61,30 €
-55%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 plus27,39 €
Occasion · Très Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 5 jours
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
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 (https://fr.shopping.rakuten.com/feedback/momox) de nos clients.
Voir le détail de l'annonce -
105,34 €
Produit Neuf
Ou 26,34 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
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 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 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.
-
Mysql 5.7 - Administration Et Optimisation
Neuf dès 34,50 €
-
Architecture De L'ordinateur
2 avis
Occasion dès 23,49 €
-
Les Centres De Données - Notions Fondamentales (Normes, Fibres Optiques, Connectique, Émetteurs-Récepteurs, Protocoles...)
Occasion dès 35,90 €
-
Les Fibres Optiques - Notions Fondamentales (Câbles, Connectique, Composants, Protocoles, Réseaux)
Occasion dès 30,00 €
-
C. Langage Bibliotheque Applications
Occasion dès 14,73 €
-
Technologies Des Interconnexions Réseaux
Occasion dès 19,00 €
-
Sécurité Informatique - Ethical Hacking, Apprendre L'attaque Pour Mieux Se Défendre
Neuf dès 54,00 €
Occasion dès 28,00 €
-
Pc Mise A Niveau Entretien Depannage
1 avis
Occasion dès 13,99 €
-
Ia Et Santé - L'âge Des Possibles
Neuf dès 21,00 €
Occasion dès 31,80 €
-
La Boîte À Outils Arduino - 120 Techniques Pour Réussir Vos Projets
Occasion dès 17,49 €
-
Excel 2024 Pas À Pas Pour Les Nuls - Compatible Excel 2024, Microsoft 365 Et Ltsc
Neuf dès 19,95 €
Occasion dès 16,47 €
-
Systèmes, Architectures, Intégration - Pratique De L'intégration Des Systèmes Et Des Logiciels Avec Sysml
Neuf dès 41,00 €
-
Mise En Oeuvre Du 68000
2 avis
Occasion dès 21,05 €
-
Indie Games - Jeux Vidéo Indépendants De L'artisanat Au Blockbuster
2 avis
Neuf dès 35,00 €
-
Electronique Des Petits Signaux T 2
Occasion dès 20,40 €
-
Tout L'univers De Tomb Raider - Explorer Le Passé, Préparer L'avenir
2 avis
Occasion dès 25,00 €
-
Itil V3 - Comprendre La Démarche Et Adopter Les Bonnes Pratiques
Occasion dès 21,70 €
-
Générations Pokémon - Plus De 20 Ans D'évolutions
2 avis
Neuf dès 29,90 €
Occasion dès 17,97 €
-
Blender Pour Les Nuls
3 avis
Occasion dès 14,80 €
-
L'individu, Fin De Parcours ? - Le Piège De L'intelligence Artificielle
3 avis
Neuf dès 21,00 €
Occasion dès 14,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