Cantitate/Preț
Produs

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: Lecture Notes in Computer Science, cartea 9942

Editat de Dorel Lucanu
en Limba Engleză Paperback – 18 aug 2016
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32117 lei

Preț vechi: 40147 lei
-20% Nou

Puncte Express: 482

Preț estimativ în valută:
6147 6385$ 5106£

Carte tipărită la comandă

Livrare economică 01-15 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319448015
ISBN-10: 3319448013
Pagini: 200
Ilustrații: XV, 185 p. 28 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.

Caracteristici

Includes supplementary material: sn.pub/extras