HOME > 상세정보

상세정보

Specifying systems : the TLA+ language and tools for hardware and software engineers

Specifying systems : the TLA+ language and tools for hardware and software engineers

자료유형
단행본
개인저자
서명 / 저자사항
Specifying systems : the TLA+ language and tools for hardware and software engineers / Leslie Lamport.
발행사항
Boston : Addison-Wesley , c2003.
형태사항
xvi, 364 p. ; 24 cm.
ISBN
032114306X (pbk. : alk. paper) 9780321143068
일반주제명
System design. Computer systems -- Specifications. Logic, Symbolic and mathematical.
000 00888pamuu22002774a 4500
001 000045335404
005 20070313141632
008 020530s2003 mau 000 0 eng
010 ▼a 2002074369
020 ▼a 032114306X (pbk. : alk. paper)
020 ▼a 9780321143068
035 ▼a (KERIS)REF000006541585
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.9.S88 ▼b L35 2003
082 0 0 ▼a 004.2/1 ▼2 21
090 ▼a 004.21 ▼b L238s
100 1 ▼a Lamport, Leslie.
245 1 0 ▼a Specifying systems : ▼b the TLA+ language and tools for hardware and software engineers / ▼c Leslie Lamport.
260 ▼a Boston : ▼b Addison-Wesley , ▼c c2003.
300 ▼a xvi, 364 p. ; ▼c 24 cm.
650 0 ▼a System design.
650 0 ▼a Computer systems ▼x Specifications.
650 0 ▼a Logic, Symbolic and mathematical.
945 ▼a KINS

소장정보

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

관련분야 신착자료

정재화 (2020)