Verification of sequential and concurrent programs
Edición de la obra Verification of sequential and concurrent programs
| Autor | Krzysztof R. Apt |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2009 |
| Lugar | Dordrecht, London, New York |
| Idioma | inglés |
| Páginas | 502 |
| ISBN-13 | 9781848827448 |
| ISBN-10 | 184882744X |
| OCLC | 432408525 |
| LCCN | 2009932111 |
| Serie | Texts in computer science |