1
Table of Contents: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Ligazón do recurso
Electrónico eBook