Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 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. 42617)

MARC details
000 -LEADER
fixed length control field 02328naaaa2200481uu 4500
001 - CONTROL NUMBER
control field https://directory.doabooks.org/handle/20.500.12854/31640
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-319-89366-2
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319893662
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-89366-2
Terms of availability doi
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title English
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 Baier, Christel
Relationship edt
245 10 - TITLE STATEMENT
Title Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 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
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. artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; 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 artificial intelligence
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer software
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term selection and evaluation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term graph theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term modal logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term petri nets
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term program compilers
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term programming language
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term semantics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term separation logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term theorem proving
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term type systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term verification
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Dal Lago, Ugo
Relationship edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Baier, Christel
Relationship oth
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Dal Lago, Ugo
Relationship oth
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf">https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf</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://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf">https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf</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://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf">https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf</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/31640">https://directory.doabooks.org/handle/20.500.12854/31640</a>
Access status 0
Public note DOAB: description of the publication

No items available.