Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Approach to Hardware Design

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

Lingua

Inglese

Libro Rigido

Codice Libristo: 01398224

Casa editrice Springer, gennaio 1994

A Formal Approach to Hardware Design discusses designing computations to be realised by application... Descrizione completa

Codice Libristo: 01398224

368 b

150.19 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

PROMETEME QUE SERAS LIBRE JORGE MOLIST

Libro

21.19 €

50 Jahre unterwegs Helfried Weyer

In brossura

12.99 €

Encens Green Tree Palo Santo Cônes Backflow

binding.

2.59 €

A thousand heartbeats - Der Ruf des Schicksals Cherokee Moon Agnew

In brossura

13.19 €

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

In brossura

8.29 €

Operation Z Jacques Baud

Adobe ePub DRM

18.09 €

Vaso Roto: Espacio y Poesia Vaictor Ramairez

In brossura

29.69 €

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

Foglio

20.09 €

Durchblick Geschichte und Politik - differenzierende Ausgabe 2012 Matthias Bahr

Rigido

31.79 €

Klippenmond Annelies Schwarz

In brossura

6.39 €

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

Rigido

14.29 €

Dogum Günü 15 Aralik Osman Aysu

In brossura

16.99 €

Die Reduktion Physikalischer Theorien Erhard Scheibe

Rigido

90.99 €

Verpfandung Ausstehender Forderungen Mit Ausschluss Der Hypotheken Und Inhaberpapiere Georg Marcus

Rigido

96.69 €

Daniel a jeho písničky

CD audio

10.29 €

3P Protokolle Epi Demi

In brossura

5.99 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Approach to Hardware Design

Autore J

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 1994

Numero di pagine 232

EAN 9780792394273

ISBN 0792394275

Codice Libristo 01398224

Casa editrice Springer

Peso 1180

Dimensioni 155 x 235 x 17

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti

Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia: argomenti di interesse generale > Ingegneria: generale

Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia e ingegneria energetica > Ingegneria elettrica

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Disegno assistito (CAD)

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer