Automated Theorem Proving in Software Engineering

von Johann M. Schumann

Gebunden

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

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

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

ISBN: 978-3-540-67989-9

ISBN-10: 3-540-67989-8

Springer · 2001