Bild från Syndetics
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
Materialtyp:
ArtikelSerie: Utgivningsinformation: Cham Springer Nature 2018Innehållstyp: - text
- computer
- online resource
- 9783319893662
- Computing and Information Technology
- Computer science
- U Computing and Information Technology
- UY Computer science
- artificial intelligence
- computer software
- formal logic
- graph theory
- modal logic
- petri nets
- program compilers
- programming language
- selection and evaluation
- semantics
- separation logic
- software engineering
- thema EDItEUR
- theorem proving
- type systems
- verification
Inga fysiska exemplar för denna post
Open Access Unrestricted online access star
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
Accessibility options of PDF file not available
Creative Commons Licence cc by cc https://creativecommons.org/licenses/by/4.0/
eng
Freely available e-book