Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

AvDorel Lucanu

E-bok
PDF, Engelska, 2016

734 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.

The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Cathy Glass - En förlorad familj, Pocket
  • 4 för 3

En förlorad familj

Cathy Glass

Pocket, 2026

4,7 utav 5 stjärnor. Totalt antal röster:(6)

99 kr

Åsa Hellberg - Den femte dagen, Pocket
  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,2 utav 5 stjärnor. Totalt antal röster:(73)

99 kr

Ben Lerner - Transcription, Inbunden

Transcription

Ben Lerner

Inbunden, 2026

5,0 utav 5 stjärnor. Totalt antal röster:(2)

179 kr

Maggie Haberman, Jonathan Swan - Regime Change, Inbunden
  • Nyhet

Regime Change

Maggie Haberman, Jonathan Swan

Inbunden, 2026

295 kr