Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science, Band 10889)

von: Catherine Dubois · Burkhart Wolff Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) ISBN-13: 978-3-319-92993-4 ISBN-10: 3-319-92993-3 Springer · 2018