Automatisierte Satzprüfung in der Softwaretechnik von Schumann, Johann M.
24,64 €
Automated Theorem Proving in Software Engineering. Title : Automated Theorem Proving in Software Engineering. Authors : Schumann, Johann M. We aim to provide a vast range of textbooks, rare and collectible books at a great price.
Jetzt bei Ebay: