Risultato ricerca
Mathematical Methods of Specification and Synthesis of Software Systems '85
Inglese
01.01.1960
Tascabile
Fr. 69.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inglese
06.12.2012
Copertina rigida
Fr. 238.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inglese
29.01.2013
Copertina rigida
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inglese
06.12.2012
Copertina rigida
Fr. 188.00