1
Innehållsförteckning: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2013
Innehållsförteckning: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Hämta fulltext
Elektronisk E-bok