Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Approach to Hardware Design

Name: Formal Approach to Hardware Design
Brand: Springer-Verlag New York Inc.
SKU: 02253595
Price: 809.27 RON
Availability: InStock
Author: J.
ISBN: 9781461361930

Limba

engleză

Carte Carte broșată

Codul Libristo: 02253595

Editura Springer-Verlag New York Inc., octombrie 2012

A Formal Approach to Hardware Design discusses designing computations to be realised by application... Descrierea completă

Codul Libristo: 02253595

373 b

809.27 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Voix Autres, Voix Hautes: Onze Romans de Femmes Au Xxe Siecle Pierre Brunel

Carte broșată

192.01 lei

Rick & Morty, T11 Kyle Starks

Carte broșată

111.87 lei

HERMOSA CAMALEONA Y OTROS CUENTOS, LA KAMAU

binding.

29.03 lei

Romper El Círculo (Edición de la Película) / It Ends with Us (Movie Tie-In)

Carte broșată

75.65 lei

Programme forme débutant cuisses-fessiers - Livre + DVD Michalowski

binding.

119.15 lei

King of wrath. Ediz. italiana Ana Huang

Carte broșată

89.49 lei

Ius Publicum Regni Poloni V1 (1742) Gottfried Lengnich

Carte broșată

225.83 lei

Holznutzung und faserliefernde Pflanzen. Vorteile und Nutzungsarten Rolf Leonhardt

Carte broșată

89.70 lei

Frans Lanting - Jungles Fritz Lanting

Copertă tare

169.22 lei

Ich will bloss Frieden Tanja Scheibel

Carte broșată

71.07 lei

Die Mutter Petra Hammesfahr

Carte broșată

47.86 lei

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.