Fundamental Approaches to Software Engineering (Record no. 6189)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02274naaaa2200517uu 4500 |
001 - CONTROL NUMBER | |
control field | http://library.oapen.org/handle/20.500.12657/27803 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20230323120735.0 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | oapen |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr|mn|---annan |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 20181101s2018 xx |||||o ||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 978-3-319-89363-1 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783319893631 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | oapen |
Transcribing agency | oapen |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/978-3-319-89363-1 |
Terms of availability | doi |
041 0# - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
042 ## - AUTHENTICATION CODE | |
Authentication code | dc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UY |
Source | bicssc |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Russo, Alessandra |
Relationship | edt |
245 10 - TITLE STATEMENT | |
Title | Fundamental Approaches to Software Engineering |
Remainder of title | 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Cham |
Name of publisher, distributor, etc. | Springer Nature |
Date of publication, distribution, etc. | 2018 |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Theoretical Computer Science and General Issues |
Volume/sequential designation | 10802 |
506 0# - RESTRICTIONS ON ACCESS NOTE | |
Terms governing access | Open Access |
Source of term | star |
Standardized terminology for access restriction | Unrestricted online access |
520 ## - SUMMARY, ETC. | |
Summary, etc. | computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification |
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
Terms governing use and reproduction | Creative Commons |
Use and reproduction rights | https://creativecommons.org/licenses/by/4.0/ |
Source of term | cc |
-- | https://creativecommons.org/licenses/by/4.0/ |
546 ## - LANGUAGE NOTE | |
Language note | English |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science |
Source of heading or term | bicssc |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | computer software maintenance |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | computer software selection and evaluation |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | formal logic |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | formal methods |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | formal specification |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | programming languages |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | semantics |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | software engineering |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | specifications |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | verification |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Schürr, Andy |
Relationship | edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Russo, Alessandra |
Relationship | oth |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Schürr, Andy |
Relationship | oth |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Host name | www.oapen.org |
Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/id/47043dcd-bcd8-4023-b8bb-70323787d19b/1002202.pdf">https://library.oapen.org/bitstream/id/47043dcd-bcd8-4023-b8bb-70323787d19b/1002202.pdf</a> |
Access status | 0 |
Public note | OAPEN Library: download the publication |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Host name | www.oapen.org |
Uniform Resource Identifier | <a href="http://library.oapen.org/handle/20.500.12657/27803">http://library.oapen.org/handle/20.500.12657/27803</a> |
Access status | 0 |
Public note | OAPEN Library: description of the publication |
909 ## - Составили записи | |
-- | 4 |
-- | Darya Shvetsova |
-- | 4 |
-- | Darya Shvetsova |
No items available.