Verification of Sequential and Concurrent Programs
de Krzysztof Apt, Frank S. de Boer, Amir Pnueli
Ediciones (1)
- Verification of Sequential and Concurrent Programs (2010)
Springer · ISBN 9781848827462
de Krzysztof Apt, Frank S. de Boer, Amir Pnueli
Springer · ISBN 9781848827462
