1
Publicado 2006
Tabla de Contenidos: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Enlace del recurso
Electrónico eBook
2
Materias: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Enlace del recurso
Electrónico eBook
3
Publicado 2013
Tabla de Contenidos: ... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...
Enlace del recurso
Electrónico eBook
4
Publicado 2005
Tabla de Contenidos: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Enlace del recurso
Electrónico eBook