libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Müller Peter - Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs


Editore: Springer Berlin Heidelberg