Bücher nach ISBN

Johann M. Schumann

Springer Berlin Heidelberg

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 · Johann M.Ph. Schumann · M S.

Johann M von Ilsung