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. 236.00
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
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. 236.00
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