Articles liés à Mechanized Reasoning and Hardware Design

Mechanized Reasoning and Hardware Design - Couverture rigide

Hoare; Gordon

 
9780135724057: Mechanized Reasoning and Hardware Design
Couverture rigide
ISBN 10 : 0135724058 ISBN 13 : 9780135724057
Editeur : Prentice Hall, 1992

Synopsis

The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Prentice Hall
Date d'édition
1992
Langue
anglais
ISBN 10 
0135724058
ISBN 13 
9780135724057
Reliure
Relié
Nombre de pages
250
Coordonnées du fabricant
non disponible

Acheter D'occasion

état :  Satisfaisant
This is an ex-library book and...
Afficher cet article
9780135724057: Mechanized Reasoning and Hardware Design
EUR 32,17

Autre devise

EUR 7,18 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour Mechanized Reasoning and Hardware Design

Image d'archives

Hoare, C. A. R.
Edité par Prentice Hall, 1992
ISBN 10 : 0135724058 ISBN 13 : 9780135724057
Ancien ou d'occasion Couverture rigide

Vendeur : Anybook.com, Lincoln, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780135724057. N° de réf. du vendeur 8247659

Contacter le vendeur

Acheter D'occasion

EUR 32,17
Autre devise
Frais de port : EUR 7,18
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier