Studiebog

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Theoretical Computer Science and General Issues

Normalpris: kr. 419,95

Medlemspris: kr. 399,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 13-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal185
Udgivelsesdato18-08-2016
ISBN139783319448015
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

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

Findes i disse kategorier...

Se andre, der handler om...