HOME > 상세정보

상세정보

The spin model checker : primer and reference manual

The spin model checker : primer and reference manual (9회 대출)

자료유형
단행본
개인저자
Holzmann, Gerald J., 1951-.
서명 / 저자사항
The spin model checker : primer and reference manual / Gerald J. Holzmann.
발행사항
Boston, MA :   Addison-Wesley,   2004.  
형태사항
xii, 596 p. : ill. ; 24 cm.
ISBN
0321228626
서지주기
Includes bibliographical references and index.
일반주제명
Systems engineering --Mathematical models. Computer programs --Testing.
000 00000cam u2200205 a 4500
001 000045114721
005 20150709115207
008 040628s2004 maua b 001 0 eng
010 ▼a 2003057704
020 ▼a 0321228626
035 ▼a KRIC09375881
040 ▼a DLC ▼c DLC ▼d 211009
050 0 0 ▼a TA168 ▼b .H65 2003
082 0 0 ▼a 620/.001/171 ▼2 23
084 ▼a 620.001171 ▼2 DDCK
090 ▼a 620.001171 ▼b H762s
100 1 ▼a Holzmann, Gerald J., ▼d 1951-.
245 1 4 ▼a The spin model checker : ▼b primer and reference manual / ▼c Gerald J. Holzmann.
260 ▼a Boston, MA : ▼b Addison-Wesley, ▼c 2004.
300 ▼a xii, 596 p. : ▼b ill. ; ▼c 24 cm.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Systems engineering ▼x Mathematical models.
650 0 ▼a Computer programs ▼x Testing.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 620.001171 H762s 등록번호 121096661 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료