Formelle metoder for verifisering av digitale konstruksjoner : state of the art
Einar J. Aas
Bok Bokmål 1993
Les boka på nett
Digital utgave: Søke-URL
Utgitt | Trondheim : SINTEF DELAB , 1993
|
---|---|
Omfang | III, 41 bl. : fig.
|
Emner | |
ISBN | 8259579472
|
Utgitt | Trondheim : SINTEF DELAB , 1993
|
---|---|
Omfang | III, 41 bl. : fig.
|
Emner | |
ISBN | 8259579472
|