| 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 | Service |