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

Bibliotek som har denne