Krzysztof R. Apt
Autore di Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Sull'Autore
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.
Opere di Krzysztof R. Apt
Etichette
Informazioni generali
Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.
Utenti
Statistiche
- Opere
- 10
- Utenti
- 63
- Popolarità
- #268,028
- ISBN
- 36