Search result
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
18.10.2010
Paperback / Softback
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
18.10.2010
Paperback / Softback
Fr. 188.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
18.10.2010
Paperback / Softback
Fr. 236.00
Mathematical Methods of Specification and Synthesis of Software Systems '85
English
31.12.1986
Hardback
Fr. 160.00
Mathematical Methods of Specification and Synthesis of Software Systems '85
English
01.01.1960
Paperback / Softback
Fr. 69.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
06.12.2012
Hardback
Fr. 238.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
English
29.01.2013
Hardback
Fr. 236.00