Theoretical Aspects of Software Engineering : (Record no. 6826)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01190nam a22001817a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250120b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031103629 |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| Item number | .T396 2022 |
| 245 ## - TITLE STATEMENT | |
| Title | Theoretical Aspects of Software Engineering : |
| Remainder of title | 16th international symposium, TASE 2022 Cluj-Napoca, Romania, July 8-10, 2022 proceedings / |
| Statement of responsibility, etc | Yamine Ait-Ameur, Florin Craciun (Eds.) |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Cham, Switzerland: |
| Name of publisher, distributor, etc | Springer, |
| Date of publication, distribution, etc | 2022 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 426 Pages; |
| Dimensions | 23 cm. |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Lecture Notes in Computer Science. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Software Development. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Software Development Congresses. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Conference Papers and Proceedings. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | General Collection | Rabdan Academy | Rabdan Academy | General Stacks | 01/20/2025 | STM Middle East | 193.00 | QA76.758 .T396 2022 | 23324 | 01/20/2025 | C. 1 | 01/20/2025 | Books | AED 193.00 |