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

By Frank Pfenning

The cover of “Foundations of Software Science and Computation Structures” - Open Library.

“Foundations of Software Science and Computation Structures” Metadata:

Title: ➤ Foundations of Software Science and Computation Structures
Author: Frank Pfenning

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

Subjects: ➤ Mathematical Logic and Formal Languages - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Computer science - Software engineering - Programming Languages, Compilers, Interpreters - Computer software

Edition Identifiers:

The Open Library ID: OL19851060W

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

Select your preferred language for the answer

"Foundations of Software Science and Computation Structures" Description:

The Open Library:

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.

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.

The WorldCat Libraries Catalog: Find a copy of “Foundations of Software Science and Computation Structures” at a library near you.

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

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

Ebay: New and used books.

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