Automated Theorem Proving in Software Engineering

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN Schumann, Johann M. 3642087590
MPN Schumann, Johann M. 46 black & white illustrations, 41 black
Abmessungen / Gewicht
Hauptmerkmale
Schumann, Johann M.