The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

ग्रंथसूची विवरण
मुख्य लेखक: Holzmann, Gerald J., 1951-
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Boston, MA : Addison-Wesley, c2004.
विषय:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue
विवरण
भौतिक वर्णन:xii, 596 p. : ill. ; 25 cm.
ग्रन्थसूची:Includes bibliographical references and index.
आईएसबीएन:0321228626 (hardback)
9780321228628

समान संसाधन