Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (Record no. 48988)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00570nam a2200169Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 220313s9999 xx 000 0 und d |
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
International Standard Serial Number | 9789811550546 |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Yamine Ait-Ameur |
245 #0 - TITLE STATEMENT | |
Title | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Name of publisher, distributor, etc. | Springer Nature |
Date of publication, distribution, etc. | 2021 |
500 ## - GENERAL NOTE | |
General note | One time purchase [Perpetual access] |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Science |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Dominique Méry |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Shin Nakajima |
856 ## - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://link.springer.com/openurl?genre=book&isbn=978-981-15-5054-6">https://link.springer.com/openurl?genre=book&isbn=978-981-15-5054-6</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-Book |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|
LRC, IIT Indore | LRC, IIT Indore | Online | 13/03/2022 | LIB/ER/2021/AP-18/PO-07, dt.18.03.2021 ; Vendor :Springer Nature Customer Service Center Gmbh, Germany ; Bill No. : 2937133319, dt.24.03.2021 ; Price : EUR 56,723.10 (included 5% GST) [Set Price for 1165 e-books] | EB6863 | 13/03/2022 | 13/03/2022 | E-Book |