Logic In Computer Science 2ed Format Broché

Logic in Computer Science 2ed - Huth, Michael

Format: Broché
442.0 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (1)

Occasion (1)

Reconditionné

80,36 €

Produit Neuf

Ou 20,09 € /mois

Livraison à 0,01 €

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9780521543101_dbm

Nos autres offres

115,42 €

Occasion · Très Bon État

Ou 28,86 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Voir les modes de livraison
- Protection acheteurs :
- 0,00 €
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
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

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 moins

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Logic In Computer Science 2ed Format Broché - Livre Informatique

Note : 0 0 avis sur Logic In Computer Science 2ed Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Logic In Computer Science 2ed Format Broché
- Livre Informatique

Livre Informatique - Huth, Michael - 01/03/2019 - Broché - Langue : Anglais

Auteur(s) : Huth, Michael - Ryan, MarkEditeur : Cambridge University PressLangue : AnglaisParution : 01/03/2019Format : Moyen, de 350g à 1kgNombre de pages : 442.0Nombre de livres :...

Auteur(s) : Huth, Michael - Ryan, Mark

Editeur : Cambridge University Press

Langue : Anglais

Parution : 01/03/2019

Format : Moyen, de 350g à 1kg

Nombre de pages : 442.0

Nombre de livres : 1

Expédition : 790

Dimensions : 24.5 x 17.5 x 2.4

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Logic in Computer Science 2ed - Huth, Michael

Avis sur Logic In Computer Science 2ed Format Broché - Livre Informatique

Présentation Logic In Computer Science 2ed Format Broché - Livre Informatique

Présentation Logic In Computer Science 2ed Format Broché
- Livre Informatique