1
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Streams -- Parallel Matrix Transposition and Vector Multiplication Using OpenMP -- Designing Parallel...
View full text
Electronic eBook