Narrow These Results

  •  Logic Design
  « Back to all options

  •  Bernhard Moller
  « Back to all options

 
To calculate TruePrice, including exact Tax and Shipping, enter your ZIP code
ZIP code:
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report
by Bernhard Moller, Helmut Partsch
In stock at
Alibris
 
42 Seller Reviews
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa...
by Jan Heering, Karl Meinke, Bernhard Moller
In stock at
Alibris
 
42 Seller Reviews