Kniha Logic-Based Program Synthesis and Transformation Elvira Albert

Logic-Based Program Synthesis and Transformation

Autor: Elvira Albert
Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
46.17
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2013
Stránok
245
EAN
9783642381966
ISBN
3642381960
Enbook ID
01663644
Hmotnosť
454
Rozmery
155 x 235 x 15

Kompletný popis

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Mohlo by vás zaujímať

Fading Light

Chris Steele-Perkins
29.37
5.00
32.80

Steam Trains Today

Andrew Martin
13.55
39.68
196.09

Practical User Research

Emmanuelle Savarit
47.84
24.36
349.74
44.89

In the Museum of Man

Alice L Conklin
154.14

Clinical CT

Suzanne Henwood
69.35
41.74
14.92

Influenza Virus

Yoshihiro Kawaoka
146.67
96.47
54.22

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

44.99

Einheit Auf Befehl?

Sabine Collmer
51.57

Dieta a Base de Plantas

Chantel Stephens
14.92