Suchfeld einblenden
Person Schumann, Johann M. Ph.
1 Treffer
Seite < 1 >
Schumann, Johann M. Ph.: Automated theorem proving in software engineering
/ Johann M. Schumann. Foreword by Donald Loveland. - Berlin : Springer, 2001. - XIV, 228 S. : graph. Darst.; 25 cm
ISBN 978-3-540-67989-9 / 3-540-67989-8 Pp. : DM 79.00
Literaturverz. S. 203 - 220
Quelle: DNB
Seite < 1 >
