Principles of model checking

Principles of model checking

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Baier, Christel
Rannpháirtithe: Katoen, Joost-Pieter
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Cambridge, Mass. MIT Press [2008?]
Ábhair:
Computer systems > Verification.
Computer software > Verification.
Rochtain ar líne:Table of contents only