libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Apt Krzysztof R.; de Boer Frank S.; Olderog Ernst-Rüdiger - Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

; ;
Editore: Springer