[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Formal Specification Level, 1

Lingua IngleseInglese
Libro Rigido
Libro Formal Specification Level, 1 Mathias Soeken
Codice Libristo: 02746221
Casa editrice Springer, Berlin, novembre 2014
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Descrizione completa
? points 339 b
143.32 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Empire of Liberty Gordon S Wood / Rigido
common.buy 44.20 €
Fancy Nancy Jane O'Connor / In brossura
common.buy 6.84 €
Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen / In brossura
common.buy 50.62 €
Familiaria Colloquia, Opera Christophori Helvici D. & Professoris Giessensis Olim, Ex Erasmo Roterodamo, Ludovico Vive, & Schottenio Hasso Selecta. Ed Desiderius Erasmus / In brossura
common.buy 30.28 €
Landhaus am Rhein Band 2 Berthold Auerbach / In brossura
common.buy 36.06 €
Computational Approaches for Studying Enzyme Mechanism Part B Gregory Voth / Rigido
common.buy 284.30 €
End of Vandalism Tom Drury / In brossura
common.buy 18.08 €
Buzz, Buzz, Buzz Byron Barton / In brossura
common.buy 8.87 €
Education in Facebook? Mike Kent & Tama Leaver / In brossura
common.buy 50.30 €

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the so-called Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

Informazioni sul libro

Titolo completo Formal Specification Level, 1
Autore Mathias Soeken, Rolf Drechsler
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2014
Numero di pagine 200
EAN 9783319086989
ISBN 3319086987
Codice Libristo 02746221
Casa editrice Springer, Berlin
Peso 360
Dimensioni 155 x 235 x 14

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
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo