Claus-Peter Wirth

Popular items by Claus-Peter Wirth

View all offers

Positive/Negative-Conditional Equations . A Constructor-Based Framework for Specification and Inductive Theorem Proving

Item prices starting from

� 54.13

View 1 offer

Also find
New, First Edition