Krzysztof R. Apt
Autor de Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Sobre El Autor
Krzysztof R. Apt is Professor at the University of Amsterdam and a Fellow at Centrum Wiskunde en Informatica (CWI), Amsterdam. Erich Grdel is Professor for Mathematical Foundations of Computer Science at RWTH Aachen University, Germany.
Obras de Krzysztof R. Apt
Etiquetado
Conocimiento común
Todavía no hay datos sobre este autor en el Conocimiento Común. Puedes ayudar.
Miembros
Estadísticas
- Obras
- 10
- Miembros
- 63
- Popularidad
- #268,028
- ISBNs
- 36