Rewriting Logic and Its Applications

Name: Rewriting Logic and Its Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642163098
Price: 243.29 PLN
Availability: InStock

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Autor: Peter Csaba Ölveczky

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 9-15 dni

243.29 zł

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic...

Informacje o książce

Autor

Peter Csaba Ölveczky

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2010

strony

264

EAN

9783642163098

ISBN

3642163092

Enbook ID

01656796

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

417

Wymiary

155 x 231 x 15

Pełny opis

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.§The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Rewriting Logic and Its Applications

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również