Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Logic-Based Program Synthesis and Transformation Germán Puebla

Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Autor: Germán Puebla
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.21 €
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on...

Informácie o knihe

Autor
Germán Puebla
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2007
Stránok
240
EAN
9783540714095
ISBN
354071409X
Enbook ID
01568318
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
790
Rozmery
155 x 235 x 17

Kompletný popis

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Mohlo by vás zaujímať

The History of the Studebaker Corporation

Albert Erskine
32.01 €

Dungeon Crawler Carl, Vol. 1 (Graphic Novel)

Laurel Pursuit Studios
13.84 €

Paracelsus

G Lowes 1862-1932 Dickinson
17.87 €

ORBIT

Emily Alison
47.14 €

Juana

Honore de Balzac
11.38 €

Assessment Literacy

Thomas Devere Wolsey
35.94 €

Developmental Couple Therapy for Complex Trauma

Heather B. (McGill University MacIntosh
51.46 €

Climate Change and the Media

Benedetta Brevini
110.59 €

Midsomer Murders: The Complete Series Fourteen

Richard Holthouse
19.24 €

HIV/AIDS Community Information Services

M. Sandra Wood
85.94 €

Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America?

Scott Browning
9.52 €

Dental Service Support Operations (FM 4-02.19)

Department Of the Army
11.97 €

Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U

Witter & Kenyon
30.05 €

Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923

D. M. Lindsey
32.80 €

Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro

Mert Elcin
23.96 €

Once Upon A Nightmare

William F Lee
25.23 €

Beyond the Palace

Gary Wien
23.37 €

US-Israeli Relations in a New Era

Eytan Gilboa
216.57 €

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

Koppelungsgeschäfte und Art. 102 AEUV

Alexander Goldberg
41.74 €

Estem en contra

Xavier Gual
8.44 €

La causalidad eucarística de la Iglesia

Aboín Martín
36.73 €

Victor Horta. L'architecte de l'Art Nouveau

DERNIE DAVID /CAREW-COX ALASTAIR
46.84 €

Punto Piu Vicino Al Cielo

Duilio Chiarle
10.30 €

Frakturrisiko bei Frauen mit Osteoporose

Jae Hyong Sorgenfrei
38.99 €

Kolorowanka Modnisia

Gołek Halina
1.95 €

43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr

Joe Correa Csn
14.53 €