Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Notes in Computer Science, Band 10747)

von: Isil Dillig · Jens Palsberg Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (Vereinigte Staaten) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Frankreich) (siehe auch: livre numérique format Kindle) EAN=ISBN-13: 978-3-319-73720-1 ISBN-10: 3-319-73720-1 Springer · 2018