Das Buch ist derzeit nicht auf Lager

Automated theorem proving in software engineering

Autoren

Johann M. Ph. Schumann

Parameter

ISBN: 9783540679899
Verlag: Springer

Kategorien

Informatik & Programmierung

Deine Änderungsvorschläge

Buchvariante

2001

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.