|
|
 |
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 201 Normalmente disponibile in 6/7 giorni lavorativi |
 (puoi sempre toglierlo dopo) |
ContenutoThis 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.
Dettagli del prodotto
-
Titolo:
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 201
-
Redattore:
Peter Csaba Olveczky
-
Editore:
Springer
-
Data di Pubblicazione:
Dicembre 2010
-
ISBN:
9783642163098
-
Reparto:
Logic Design
Condividi "Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 201" con i tuoi amici    
Commenti degli utenti
Scrivi un nuovo commento su Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 201 e condividi la tua opinione con altri utenti. |
Carrello
€ 22.64 € 19.24
€ 20.98
€ 17.19
€ 21.16 € 17.99
€ 18.53 € 15.75
€ 20.63 € 17.54