Bücher nach ISBN

Claus-Peter Wirth

Verlag Dr. Kovac

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr
Positive/Negative-Conditional Equations . A Constructor-Based Framework for Specification and Inductive Theorem Proving978-3-86064-551-2
(3-86064-551-X)		1997

C. W. · Claus Peter · P. Wirth · Peter Wirth

Claus Petersen