Semantik und Programmverifikation von Christoph Walther | ISBN 9783322867681

Semantik und Programmverifikation

von Christoph Walther
Buchcover Semantik und Programmverifikation | Christoph Walther | EAN 9783322867681 | ISBN 3-322-86768-4 | ISBN 978-3-322-86768-1

Semantik und Programmverifikation

von Christoph Walther
Programmiersprachen: Semantik und Beweistechniken - Aktuelle Forschungsergebnisse