HOME > Detail View

Detail View

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

Specifying systems : the TLA+ language and tools for hardware and software engineers (Loan 11 times)

Material type
단행본
Personal Author
Lamport, Leslie.
Title Statement
Specifying systems : the TLA+ language and tools for hardware and software engineers / Leslie Lamport.
Publication, Distribution, etc
Boston :   Addison-Wesley ,   c2003.  
Physical Medium
xvi, 364 p. ; 24 cm.
ISBN
032114306X (pbk. : alk. paper) 9780321143068
Subject Added Entry-Topical Term
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

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.21 L238s Accession No. 121142533 Availability In loan Due Date 2022-06-07 Make a Reservation Available for Reserve R Service M

New Arrivals Books in Related Fields

김효곤 (2022)