Principles of model checking

Principles of model checking

ग्रंथसूची विवरण
मुख्य लेखक: Baier, Christel
अन्य लेखक: Katoen, Joost-Pieter
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Cambridge, Mass. MIT Press [2008?]
विषय:
Computer systems > Verification.
Computer software > Verification.
ऑनलाइन पहुंच:Table of contents only