Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Theoretical Computer Science and General Issues Series
Autor principal: Amal Ahmed
Formato: Livro
Idioma:Inglês
Publicado em: Springer Nature 2018
Assuntos:
QA75.5-76.95
bic Book Industry Communication::U Computing & information technology::UY Computer science
distributed computer systems
program verification
software engineering specifications
systems verification
processors
semantics
type
program compilers
artificial intelligence
formal logic
formal model
java
model checking
computer architecture
separation logic
programming language
theorem proving
computer software selection and evaluation
Acesso em linha:https://directory.doabooks.org/handle/20.500.12854/57149
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados