Rewriting Logic and Its Applications

49.22 EUR

Dieses Buch fasst die Ergebnisse des neunten WRLA‑Workshops zusammen und beleuchtet Rewriting‑Logik als Werkzeug zur Analyse verteilter Systeme, wobei neue theoretische Modelle mit konkreten Anwendungen in der Softwareentwicklung verknüpft werden.

Marke: Springer Berlin Heidelberg
ISBN: 3642340040
MPN: 51 black & white illustrations, biograph