Bücher nach ISBN

Johann M. Schumann

Springer, Berlin

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr
Automated Theorem Proving in Software Engineering978-3-540-67989-9
(3-540-67989-8)		2001

J.M. · J.S. · J. Schumann · M.S.

Johann M von Ilsung