Practical TLA+ : (Record no. 41246)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00451nam a2200169Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 230906s9999||||xx |||||||||||||| ||und|| |
020 ## - ISBN | |
International Standard Book Number | 9781484248324 |
020 ## - ISBN | |
International Standard Book Number | 9781484248324 |
082 ## - DDC NUMBER | |
Classification number | 005.7 WAY |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Wayne, Hillel |
245 #0 - TITLE STATEMENT | |
Title | Practical TLA+ : |
Sub Title | planning driven development |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | New York: |
Name of publisher, distributor, etc | Apress , |
Date of publication, distribution, etc | 2022. |
300 ## - PHYSICAL DESCRIPTION | |
Pages | xxiii, 212 p. |
650 ## - Subject | |
Subject | <a href="Planning">Planning</a> |
650 ## - Subject | |
Subject | <a href="Planning driven development">Planning driven development</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Engineering Books |
Withdrawn status | Lost status | Damaged status | Not for loan | Location (home branch) | Sublocation or collection (holding branch) | Shelving location | Date acquired | Source of acquisition | Inventory number | Koha issues (times borrowed) | Koha full call number | Barcode (Accession No.) | Koha date last seen | Cost, replacement price | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0 | Presidency University Library | Presidency University Library | Computer Science Engineering | 2023-08-30 | Book Paradise, Bangalore on 20-08-2023 | 96780 | 005.7 WAY | 53965 | 2023-09-06 | 699.00 | 2023-09-06 | Engineering Books | ||||
0 | Presidency University Library | Presidency University Library | Computer Science Engineering | 2023-08-30 | Book Paradise, Bangalore on 20-08-2023 | 96780 | 005.7 WAY | 53966 | 2023-09-06 | 699.00 | 2023-09-06 | Engineering Books |