Wolfgang Bibel
Mathematical Methods of Specification and Synthesis of Software Systems '85
01 Jun 1986
Paperback
US$71.05 US$99.00
Save US$27.95
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
30 Jun 1998
Hardback
US$258.52 US$279.99
Save US$21.47