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

von Claus-Peter Wirth

Verlag Dr. Kovac · 1997

Broschiert

Details (Deutschland)

ISBN-13: 978-3-86064-551-2

ISBN-10: 3-86064-551-X