Risultato ricerca
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Inglese
01.01.2014
Tascabile
Fr. 43.90
New Translation and Exposition of the Book of Ecclesiastes
Inglese
01.01.2018
Copertina rigida
Esaurito