The spin model checker : primer and reference manual /

Detaylı Bibliyografya
Yazar: Holzmann, Gerald J., 1951-
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Boston, MA : Addison-Wesley, c2004.
Konular:
Classic Catalogue: View this record in Classic Catalogue
Diğer Bilgiler
Fiziksel Özellikler:xii, 596 p. : ill. ; 25 cm.
Bibliyografya:Includes bibliographical references and index.
ISBN:0321228626 (hardback)
9780321228628