Liknande böcker

Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Po...
Bok av Xinyu Feng
Information and Communication Technologies in Education, Research, and I...
Bok av Vitaliy Yakovyna
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Formal Methods for the Quantitative Evaluation of Collective Adaptive Sy...
Bok av Marco Bernardo
Trends in Functional Programming : 16th International Symposium, TFP 201...
Bok av Manuel Serrano
Foundations of Software Science and Computation Structures : 19th Intern...
Bok av Bart Jacobs
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Foundations of Software Science and Computation Structures : 20th Intern...
Bok av Javier Esparza

Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Bok av Atsushi Igarashi