Rewriting Logic and Its Applications Santiago Escobar
Titel: Rewriting Logic and Its Applications, Untertitel: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, Einband: Taschenbuch, Autor: Santiago Escobar, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 308, Maße: 235x155x17 mm, Gewicht: 470 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Cloud Computing Conditional term rewriting Full maude Irreducible terms Maude Metalevel Narrowing Normalized terms Operational termination Rewriting Logic Strong operational termination Weak operational termination distributed systems formal analysis formal semantics infinite-state systems integration model checking program analysis unification.
Jetzt bei Ebay:
