Dynamic verification of a large discrete system

Författare
Johan Gunnarsson
(J. Gunnarsson, R. Germundsson.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1996 Sverige, Linköping 3 sidor.
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan