1
Tabla de Contenidos: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Enlace del recurso
Electrónico eBook
2
Publicado 2013
Tabla de Contenidos: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Enlace del recurso
Electrónico eBook