Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568318
Price: 248.26 PLN
Availability: InStock
Author: Germán Puebla
ISBN: 9783540714095

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

Germán Puebla

Język

Angielski

Książka Miękka

Kod Libristo: 01568318

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2007

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Cały opis

Kod Libristo: 01568318

141 b

Gwarancja
najlepszej
ceny ▸

248.26 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg

Miękka

182.57 zł

Estem en contra Xavier Gual

Adobe ePub DRM

36.91 zł

La causalidad eucarística de la Iglesia Aboín Martín

Miękka

160.64 zł

Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR

Twarda

205.11 zł

Punto Piu Vicino Al Cielo Duilio Chiarle

Miękka

47.57 zł

Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei

Miękka

170.70 zł

Kolorowanka Modnisia Gołek Halina

Miękka

7.74 zł

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

Miękka

66.89 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic-Based Program Synthesis and Transformation

Autor Germán Puebla

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2007

Liczba stron 240

EAN 9783540714095

ISBN 354071409X

Kod Libristo 01568318

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 790

Wymiary 155 x 235 x 17

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

The History of the Studebaker Corporation Albert Erskine

Miękka

140.12 zł

Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios

Miękka

67.09 zł

Paracelsus G Lowes 1862-1932 Dickinson

Miękka

82.18 zł

ORBIT Emily Alison

Twarda

196.66 zł

Juana Honore de Balzac

Miękka

49.69 zł

Assessment Literacy Thomas Devere Wolsey

Miękka

157.52 zł

Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh

Miękka

235.59 zł

Climate Change and the Media Benedetta Brevini

Twarda

457.10 zł

Midsomer Murders: The Complete Series Fourteen Richard Holthouse

DVD

84.29 zł

HIV/AIDS Community Information Services M. Sandra Wood

Twarda

401.07 zł

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

Miękka

43.85 zł

Dental Service Support Operations (FM 4-02.19) Department Of the Army

Miękka

55.12 zł

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

Miękka

138.31 zł

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

Miękka

136.40 zł

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

Miękka

110.24 zł