Fundamental Approaches to Software Engineering: 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 (Record no. 76684)

MARC details
000 -LEADER
fixed length control field 02271naaaa2200397uu 4500
001 - CONTROL NUMBER
control field https://directory.doabooks.org/handle/20.500.12854/48199
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220220084435.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number /doi.org/10.1007/978-3-319-89363-1
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319893624
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319893631
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code https://doi.org/10.1007/978-3-319-89363-1
Terms of availability doi
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title English
042 ## - AUTHENTICATION CODE
Authentication code dc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Alessandra Russo
Relationship auth
245 10 - TITLE STATEMENT
Title Fundamental Approaches to Software Engineering: 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.
Name of publisher, distributor, etc. Springer Nature
Date of publication, distribution, etc. 2018
300 ## - PHYSICAL DESCRIPTION
Extent 1 electronic resource (357 p.)
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. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
536 ## - FUNDING INFORMATION NOTE
Text of note ETAPS e.V.
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
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer software maintenance
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal methods
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term semantics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term programming languages
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer software selection and evaluation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal specification
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term specifications
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term verification
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Andy Schürr
Relationship auth
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://link.springer.com/book/10.1007/978-3-319-89363-1">https://link.springer.com/book/10.1007/978-3-319-89363-1</a>
Access status 0
Public note DOAB: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://directory.doabooks.org/handle/20.500.12854/48199">https://directory.doabooks.org/handle/20.500.12854/48199</a>
Access status 0
Public note DOAB: description of the publication

No items available.