An edition of Foundations of Software Science and Computation Structures
(2018)
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
by Christel Baier and Ugo Dal Lago
Share
×Close
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
Publish Date
2018
Publisher
Springer Nature
Check nearby libraries
Buy this book
Subjects
Computer science, Software engineering, Logic| Edition | Availability |
|---|---|
1
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings
Oct 08, 2020, Saint Philip Street Press
hardcover
1013269438 9781013269431
|
zzzz
|
2
|
aaaa
|
3
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ...
Apr 14, 2018, Springer
paperback
3319893653 9783319893655
|
zzzz
|
Book Details
Edition Notes
Open Access Unrestricted online access
Creative Commons https://creativecommons.org/licenses/by/4.0/
English
External Links
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created November 17, 2020
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| November 17, 2020 | Created by MARC Bot | Imported from marc_oapen MARC record |