Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Germán Puebla
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 672 Ft
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on...

Információk a könyvről

Szerző
Germán Puebla
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2007
oldal
240
EAN
9783540714095
ISBN
354071409X
Enbook ID
01568318
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
790
Méretek
155 x 235 x 17

Teljes leírás

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.

Érdekelheti

The History of the Studebaker Corporation

Albert Erskine
12 409 Ft

Dungeon Crawler Carl, Vol. 1 (Graphic Novel)

Laurel Pursuit Studios
5 972 Ft

Paracelsus

G Lowes 1862-1932 Dickinson
7 164 Ft

ORBIT

Emily Alison
17 444 Ft

Juana

Honore de Balzac
4 407 Ft

Assessment Literacy

Thomas Devere Wolsey
13 678 Ft

Developmental Couple Therapy for Complex Trauma

Heather B. (McGill University MacIntosh
20 430 Ft

Climate Change and the Media

Benedetta Brevini
41 358 Ft

Midsomer Murders: The Complete Series Fourteen

Richard Holthouse
7 209 Ft

HIV/AIDS Community Information Services

M. Sandra Wood
35 713 Ft

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

Scott Browning
3 838 Ft

Dental Service Support Operations (FM 4-02.19)

Department Of the Army
4 819 Ft

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
12 069 Ft

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

D. M. Lindsey
12 212 Ft

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
9 626 Ft

Once Upon A Nightmare

William F Lee
10 078 Ft

Beyond the Palace

Gary Wien
9 594 Ft

US-Israeli Relations in a New Era

Eytan Gilboa
80 568 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

Koppelungsgeschäfte und Art. 102 AEUV

Alexander Goldberg
14 786 Ft

Estem en contra

Xavier Gual
2 986 Ft

La causalidad eucarística de la Iglesia

Aboín Martín
13 010 Ft

Victor Horta. L'architecte de l'Art Nouveau

DERNIE DAVID /CAREW-COX ALASTAIR
16 606 Ft

Punto Piu Vicino Al Cielo

Duilio Chiarle
4 178 Ft

Frakturrisiko bei Frauen mit Osteoporose

Jae Hyong Sorgenfrei
15 126 Ft

Kolorowanka Modnisia

Gołek Halina
740 Ft

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
5 855 Ft