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. 31189)

MARC details
000 -LEADER
fixed length control field 00851nam a2200133Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220620s9999||||xx |||||||||||||| ||und||
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 0302-9743
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Ugo Dal Lago||Christel Baier
245 #0 - 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
546 ## - LANGUAGE NOTE
Language note English[eng]
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element graph theory||computer software||semantics||modal logic||program compilers||artificial intelligence||type systems||formal logic||petri nets||separation logic||programming language||software engineering||theorem proving||selection and evaluation||verification
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/book/10.1007/978-3-319-89366-2">https://link.springer.com/book/10.1007/978-3-319-89366-2</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre 20/06/2022   20/06/2022 20/06/2022 E-Books