Critical Systems: Formal Methods and Automated Verification (Lecture Notes in Computer Science, Band 9933)

von: Maurice H. ter Beek · Stefania Gnesi · Alexander Knapp

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (Vereinigte Staaten)
(siehe auch: eBook (Kindle))

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

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

ISBN-13: 978-3-319-45942-4

ISBN-10: 3-319-45942-2

Springer · 2016