Résultat de la recherche
Mathematical Methods of Specification and Synthesis of Software Systems '85
Anglais
01.01.1960
Livre de poche
Fr. 69.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
06.12.2012
Livre Relié
Fr. 238.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
29.01.2013
Livre Relié
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
06.12.2012
Livre Relié
Fr. 188.00