"Foundations of Software Science and Computation Structures" - Information and Links:

Foundations of Software Science and Computation Structures - Info and Reading Options

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" was published by Springer Nature in 2018 - Cham.


“Foundations of Software Science and Computation Structures” Metadata:

  • Title: ➤  Foundations of Software Science and Computation Structures
  • Authors:
  • Publisher: Springer Nature
  • Publish Date:
  • Publish Location: Cham

“Foundations of Software Science and Computation Structures” Subjects and Themes:

Edition Identifiers:

AI-generated Review of “Foundations of Software Science and Computation Structures”:


"Foundations of Software Science and Computation Structures" Description:

The Open Library:

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

Read “Foundations of Software Science and Computation Structures”:

Read “Foundations of Software Science and Computation Structures” by choosing from the options below.

Search for “Foundations of Software Science and Computation Structures” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Foundations of Software Science and Computation Structures” in Libraries Near You:

Read or borrow “Foundations of Software Science and Computation Structures” from your local library.

Buy “Foundations of Software Science and Computation Structures” online:

Shop for “Foundations of Software Science and Computation Structures” on popular online marketplaces.