Semantik und Programmverifikation by Christoph Walther (German) Paperback Book
52,25 €
Semantik und Programmverifikation. 1 Formale Grundlagen. - 1.2 Semantik der Sprache 1. - 1.5 Konfluente Relationen. - 2.1 Die Programmiersprache FP. - 2.2 Operationale Semantik von FP. - 2.3 Denotationale Semantik von FP.
Jetzt bei Ebay: