Résultat de la recherche
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
18.10.2010
Livre de poche
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
18.10.2010
Livre de poche
Fr. 188.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
18.10.2010
Livre de poche
Fr. 236.00
Mathematical Methods of Specification and Synthesis of Software Systems '85
Anglais
31.12.1986
Livre Relié
Fr. 160.00