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

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

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

Saved in:
Bibliographic Details
Other Authors: Baier, Christel (Editor), Dal Lago, Ugo (Editor)
Format: Book Chapter
Published: Cham Springer Nature 2018
Subjects:
Computer science
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
Online Access:Get Fullteks
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get Fullteks
DOAB: description of the publication

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available

Similar Items