|
" Correct hardware design and verification methods : "
Tiziana Margaria, Tom Melham (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
730067
|
| Doc. No
|
:
|
b549825
|
| Main Entry
|
:
|
Tiziana Margaria, Tom Melham (eds.).
|
| Title & Author
|
:
|
Correct hardware design and verification methods : : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 2001 proceedings\ Tiziana Margaria, Tom Melham (eds.).
|
| Publication Statement
|
:
|
Berlin: Springer, 2001
|
| Series Statement
|
:
|
Lecture notes in computer science, 2144
|
| Page. NO
|
:
|
xii, 482 p. ; 24 cm.
|
| ISBN
|
:
|
3540425411
|
|
|
:
|
: 9783540425410
|
| Notes
|
:
|
Disponibile anche in formato elettronico con accesso dai calcolatori della rete di Ateneo.
|
| Added Entry
|
:
|
Thomas F Melham
|
|
|
:
|
Tiziana Margaria
|
| |