1
Tabla de Contenidos: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Enlace del recurso
Electrónico eBook
2
Tabla de Contenidos: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ...to Mobile Phone Programming -- Mobile Phone Programming Languages -- Python for Symbian Phones...
Enlace del recurso
Electrónico eBook
4
Tabla de Contenidos: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Enlace del recurso
Electrónico eBook
5
Publicado 2014
Tabla de Contenidos: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
Enlace del recurso
Electrónico eBook
6
Tabla de Contenidos: ...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...
Enlace del recurso
Electrónico eBook
7
Publicado 2013
Tabla de Contenidos: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Enlace del recurso
Electrónico eBook