Rewriting Logic and Its Applications Dorel Lucanu
53,49 €
Titel: Rewriting Logic and Its Applications, Untertitel: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, Einband: Taschenbuch, Autor: Dorel Lucanu, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 204, Maße: 235x155x12 mm, Gewicht: 318 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Maude Modular specification Rewriting Logic finite variant property (FVP) graph rewriting logical models metalevel algorithms model checking reachability logic rewrite languages temporal logic tree automata and tree languages.
Jetzt bei Ebay:
