Automated Theorem Proving in Software Engineering

von Johann M. Schumann

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (USA)
(siehe auch: eBook (Kindle))

Details (Großbritannien)
(siehe auch: eBook (Kindle))

ISBN-13: 978-3-642-08759-2

ISBN-10: 3-642-08759-0

(978-3-642)