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

Show other versions (2)

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: Electronic Book Chapter
Language:English
Published: Cham Springer Nature 2018
Series:Theoretical Computer Science and General Issues
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:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

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

Similar Items