HOME > 상세정보

상세정보

Model checking abstract state machines

Model checking abstract state machines

자료유형
단행본
개인저자
Winter, Kirsten.
서명 / 저자사항
Model checking abstract state machines / Kirsten Winter.
발행사항
Saarbruchen :   VDM Verlag Dr. Muller ,   2008.  
형태사항
195 p. : ill. ; 23 cm.
ISBN
3639018915
일반주기
Zugl.: Berlin, TU, Diss. 2001.  
서지주기
Includes bibliographical references.
일반주제명
System design. Computer software -- Development. Computer systems -- Verification. Embedded computer systems.
000 00849namuu2200265 a 4500
001 000045545977
005 20090903154921
008 090902s2008 gw a b 000 0 eng d
020 ▼a 3639018915
040 ▼a 211009 ▼c 211009 ▼d 211009
041 0 ▼a eng ▼b ger
082 0 4 ▼a 004.2/1 ▼2 22
090 ▼a 004.21 ▼b W785m
100 1 ▼a Winter, Kirsten.
245 1 0 ▼a Model checking abstract state machines / ▼c Kirsten Winter.
260 ▼a Saarbruchen : ▼b VDM Verlag Dr. Muller , ▼c 2008.
300 ▼a 195 p. : ▼b ill. ; ▼c 23 cm.
500 ▼a Zugl.: Berlin, TU, Diss. 2001.
504 ▼a Includes bibliographical references.
650 0 ▼a System design.
650 0 ▼a Computer software ▼x Development.
650 0 ▼a Computer systems ▼x Verification.
650 0 ▼a Embedded computer systems.
945 ▼a KINS

소장정보

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

관련분야 신착자료