Montant total (1 article articles) :
Destination de la commande :
designing correct circuits workshop (9 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (9)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (5)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (9)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (2)
- Sans impressions à la demande (8)
Langue (1)
Livraison gratuite
- Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
![Image d'archives pour Designing Correct Circuits: Workshop Jointly Organised By The Universities Of Oxford And Glasgow, 26-28 September 1990, Oxford (Workshops In Computing) [Spiral-bound] Jones, Geraint and Sheeran, Mary mis en vente par Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9783540196594-fr-300.jpg)
Designing Correct Circuits: Workshop Jointly Organised By The Universities Of Oxford And Glasgow, 26-28 September 1990, Oxford (Workshops In Computing) [Spiral-bound] Jones, Geraint and Sheeran, Mary
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 12,33
Expédition à EUR 29,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. A few scratches, a couple of small creases and slight shelf wear on cover. Also a signature on top of title page. Content is fine.
-
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,52
Expédition à EUR 14,09
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Designing Correct Circuits: Workshop Jointly Organised By The Universities Of Oxford And Glasgow, 26-28 September 1990, Oxford (Workshops In Computing)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,97
Expédition à EUR 18,21
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierSpiral-bound. Etat : New.
-
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 81,44
Expédition à EUR 14,70
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 364 pages. 9.60x6.69x0.82 inches. In Stock.
-
Designing Correct Circuits: Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Bastad, Sweden, 2-4 September 1996 (electronic Workshops in Computing)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 87,20
Expédition à EUR 29,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Designing Correct Circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford
Langue: anglais
Edité par Springer, Springer Berlin Heidelberg, 1991
ISBN 10 : 3540196595 ISBN 13 : 9783540196594
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 63,14
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software engineering. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program develop ment. The harsher constraints on hardware designers mean both that there is a greater need for good abstractions and rigorous assurances of the trustworthyness of designs, and also that there is greater reason to expect that these benefits can be realised. The papers presented at this workshop consider the application of mathematics to hardware design at several different levels of abstraction. At the lowest level of this spectrum, Zhou and Hoare show how to describe and reason about synchronous switching circuits using UNilY, a formalism that was developed for reasoning about parallel programs. Aagaard and Leeser use standard mathematical tech niques to prove correct their implementation of an algorithm for Boolean simplification. The circuits generated by their formal synthesis system are thus correct by construction. Thuau and Pilaud show how the declarative language LUSTRE, which was designed for program ming real-time systems, can be used to specify synchronous circuits.
-
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 2628 September 1990, Oxford (Workshops in Computing)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 109
Expédition à EUR 29,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSpiral-bound. Etat : Like New. Like New. book.
-
EUR 39,07
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Designing Correct Circuits | Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford | Geraint Jones (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540196594 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
