Cantitate/Preț
Produs

Rewriting Logic and Its Applications: 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ț: 31726 lei

Preț vechi: 39657 lei
-20%

Puncte Express: 476

Preț estimativ în valută:
5610 6433$ 4849£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai


Specificații

ISBN-13: 9783319448015
ISBN-10: 3319448013
Pagini: 204
Ilustrații: XV, 185 p. 28 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

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