Handbook of Model Checking
Springer International Publishing
ISBN 978-3-319-10575-8
Standardpreis
Bibliografische Daten
eBook. PDF
2018
Umfang: 1212 S.
Verlag: Springer International Publishing
ISBN: 978-3-319-10575-8
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com