Logics and analyses for concurrent heap-manipulating programs
Edición de la obra Logics and analyses for concurrent heap-manipulating programs
| Autor | Alexey Gotsman |
|---|---|
| Editorial | [British Computer Society] |
| Fecha de publicación | 2009 |
| Lugar | [London] |
| Idioma | inglés |
| Páginas | 162 |
| ISBN-13 | 9781906124830 |
| ISBN-10 | 1906124833 |
| OCLC | 751828102 |
| Serie | BCS/CPHC distinguished dissertation award series · BCS/CPHC distinguished dissertation award series |
| Número de Cutter |