Principles of model checking /

ग्रंथसूची विवरण
मुख्य लेखक: Baier, Christel
अन्य लेखक: Katoen, Joost-Pieter
स्वरूप: Printed Book
भाषा:English
प्रकाशित: Cambridge, Mass. : The MIT Press, [2012
विषय:
Computer systems > Verification.
Computer software > Verification.
ऑनलाइन पहुंच:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

इंटरनेट

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

होल्डिंग्स विवरण से DCS
बोधानक: 51 BAI
प्रति लाइव स्थिति उपलब्ध नहीं है

समान संसाधन