Risultato ricerca
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inglese
18.10.2010
Tascabile
Fr. 188.00
Mathematical Methods of Specification and Synthesis of Software Systems '85
Inglese
31.12.1986
Copertina rigida
Fr. 160.00