Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Approach to Hardware Design

Name: Formal Approach to Hardware Design
Brand: Springer
SKU: 01398224
Price: 68982 HUF
Availability: InStock
Author: J
ISBN: 9780792394273

Language

English

Book Hardback

Libristo code: 01398224

Publishers Springer, January 1994

A Formal Approach to Hardware Design discusses designing computations to be realised by application... Full description

Libristo code: 01398224

461 b

68 982 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

PROMETEME QUE SERAS LIBRE JORGE MOLIST

Book

8 663 Ft

A thousand heartbeats - Der Ruf des Schicksals Cherokee Moon Agnew

Paperback

6 092 Ft

50 Jahre unterwegs Helfried Weyer

Paperback

5 912 Ft

Encens Green Tree Palo Santo Cônes Backflow

binding.

1 015 Ft

Operation Z Jacques Baud

Adobe ePub DRM

7 630 Ft

De Divisione Naturae Libri Quinque Christoph Bernhard Schlüter

Hardback

18 346 Ft

Vaso Roto: Espacio y Poesia Vaictor Ramairez

Paperback

13 259 Ft

Freiarbeitsmaterial für die Grundschule - Deutsch - Klasse 1/2 Bernd Wehren

Sheet

8 994 Ft

Dogum Günü 15 Aralik Osman Aysu

Paperback

7 512 Ft

Durchblick Geschichte und Politik - differenzierende Ausgabe 2012 Matthias Bahr

Hardback

13 977 Ft

Klippenmond Annelies Schwarz

Paperback

2 916 Ft

Magellano Stefan Zweig

Paperback

4 997 Ft

EL GOBERNADOR LUIS DE UNZAGA (1717 1793) CAZORLA GRANADOS

Paperback

8 111 Ft

Journaux Franz Kafka

Paperback

15 067 Ft

S Komenským do komiksu Klára Smolíková

Hardback

4 893 Ft

Raoul Daubry, Chef de Famille (4e Edition) Fleuriot-Z

Paperback

9 159 Ft

Die Reduktion Physikalischer Theorien Erhard Scheibe

Hardback

40 821 Ft

Promotion et coordination du tourisme durable et solidaire Floriane Billaud

Paperback

32 738 Ft

Verpfandung Ausstehender Forderungen Mit Ausschluss Der Hypotheken Und Inhaberpapiere Georg Marcus

Hardback

42 883 Ft

Daniel a jeho písničky

Audio CD

4 775 Ft

3P Protokolle Epi Demi

Paperback

2 647 Ft

Lidé a dějiny Miroslav Bárta

Hardback

11 075 Ft

El Libro de Valores de Paquito: Selección y adaptación de cuentos universales Patricia Fernandini Leon

Paperback

3 874 Ft

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis. Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject. A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.