Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science, Band 10001)

Deductive

von: Wolfgang Ahrendt · Bernhard Beckert · Richard Bubel · Reiner Hähnle · Peter H. Schmitt · Mattias Ulbrich

Taschenbuch

ISBN: 978-3-319-49811-9

ISBN-10: 3-319-49811-8

Springer · 2016