Könyv Logic-Based Program Synthesis and Transformation Elvira Albert

Logic-Based Program Synthesis and Transformation

Szerző: Elvira Albert
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
17 772 Ft
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
245
EAN
9783642381966
ISBN
3642381960
Enbook ID
01663644
Súly
454
Méretek
155 x 235 x 15

Teljes leírás

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.

Érdekelheti

Fading Light

Chris Steele-Perkins
11 486 Ft
1 762 Ft
12 212 Ft

Steam Trains Today

Andrew Martin
5 102 Ft
14 046 Ft
72 902 Ft

Practical User Research

Emmanuelle Savarit
19 861 Ft
9 697 Ft
129 497 Ft
16 776 Ft

In the Museum of Man

Alice L Conklin
60 617 Ft

Clinical CT

Suzanne Henwood
27 652 Ft
16 678 Ft
6 142 Ft

Influenza Virus

Yoshihiro Kawaoka
56 538 Ft
37 049 Ft
20 672 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

17 346 Ft

Einheit Auf Befehl?

Sabine Collmer
19 834 Ft

Dieta a Base de Plantas

Chantel Stephens
5 913 Ft