Articoli correlati a Formal Hardware Verification: Methods and Systems in...

Formal Hardware Verification: Methods and Systems in Comparison - Brossura

 
9783662174937: Formal Hardware Verification: Methods and Systems in Comparison
Brossura
ISBN 10: 3662174936 ISBN 13: 9783662174937
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Symbolic trajectory evaluation.- Automated verification with abstract state machines using multiway decision graphs.- Design verification using Synchronized Transitions.- Hardware verification using PVS.- Verifying VHDL designs with COSPAN.- The C@S system: Combining proof strategies for system verification.- Appendix: The common book examples.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662174936
ISBN 13 
9783662174937
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540634751: Formal Hardware Verification: Methods and Systems in Comparison: 1287

Edizione in evidenza

ISBN 10:  3540634754 ISBN 13:  9783540634751
Casa editrice: Springer Berlin Heidelberg, 2008
Rilegato