Model checking

Författare: Edmund M. Clarke; (Edmund M. Clarke, Orna Grumberg and Doron A. Peled.)
Språk: Engelska

Förlag	År	Ort	Om boken	ISBN
MIT	1999	USA, Cambridge, Mass, London	314 sidor. ill. 23cm