Artículos relacionados a Designing Correct Circuits: Workshop Jointly Organised...
Designing Correct Circuits: Workshop Jointly Organised By The Universities Of Oxford And Glasgow, 26-28 September 1990, Oxford (Workshops In Computing) - Tapa blanda
Sinopsis
This volume contains the papers presented at the 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 of software engineering techniques to hardware design. 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 development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume contains the papers presented at the 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 of software engineering techniques to hardware design. 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 development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Designing Correct Circuits: Workshop Jointly Organised...
Imagen de archivo
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
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 062433-7
Comprar usado
EUR 12,21
Envío por EUR 29,10
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540196594_new
Comprar nuevo
EUR 60,90
Envío por EUR 13,94
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Designing Correct Circuits: Workshop Jointly Organised By The Universities Of Oxford And Glasgow, 26-28 September 1990, Oxford (Workshops In Computing)
Publicado por
Springer 1991-04-30, 1991
ISBN 10: 3540196595
ISBN 13: 9783540196594
Nuevo
Spiral-bound
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Spiral-bound. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540196594
Comprar nuevo
EUR 57,38
Envío por EUR 18,03
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Designing Correct Circuits
Publicado por
Springer, Springer Apr 1991, 1991
ISBN 10: 3540196595
ISBN 13: 9783540196594
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 364 pp. Englisch. Nº de ref. del artículo: 9783540196594
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Designing Correct Circuits
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 364. Nº de ref. del artículo: 26101126716
Comprar nuevo
EUR 79,48
Envío por EUR 3,44
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Designing Correct Circuits
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 364 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 108047843
Comprar nuevo
EUR 77,50
Envío por EUR 7,57
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Designing Correct Circuits
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 364. Nº de ref. del artículo: 18101126710
Comprar nuevo
EUR 79,33
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (Workshops in Computing)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 364 pages. 9.60x6.69x0.82 inches. In Stock. Nº de ref. del artículo: x-3540196595
Comprar nuevo
EUR 80,43
Envío por EUR 14,55
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Designing Correct Circuits
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 d. Nº de ref. del artículo: 4884241
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Designing Correct Circuits
Publicado por
Springer, Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540196595
ISBN 13: 9783540196594
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 364 pp. Englisch. Nº de ref. del artículo: 9783540196594
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles