Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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ł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic-Based Program Synthesis and Transformation Michael Hanus
Kod Libristo: 01649407
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Książka Miękka
common.buy 68.64 zł
Kultur ALS Naturgeschichte Christian Mehr / Książka Twarda
common.buy 496.71 zł
Abrege de la Philosophie de Gassendi Francois Bernier / Książka Miękka
common.buy 128.06 zł
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Książka Miękka
common.buy 106.18 zł
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Książka Miękka
common.buy 156.97 zł
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Książka Miękka
common.buy 115.31 zł
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Książka Książka
common.buy 32.61 zł
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Książka Miękka
common.buy 118.62 zł
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Książka Miękka
common.buy 95.44 zł

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
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 Michael Hanus
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 185
EAN 9783642005145
ISBN 3642005144
Kod Libristo 01649407
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 308
Wymiary 155 x 235 x 11

Kategoria

Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna > Analiza numeryczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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ć

Moses in America Melanie Jane Wright / Książka Twarda
common.buy 430.97 zł
TOP
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Książka Miękka
common.buy 51.28 zł
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Książka Miękka
common.buy 1 040.50 zł
Explorers on Black Ice Bridge Alex Bell / E-book Adobe ePub DRM
common.buy 32.21 zł
Cinderella Is Dead Kalynn Bayron / Książka Miękka
common.buy 36.62 zł
Lucky Per Henrik Pontoppidan / Książka Twarda
common.buy 59.21 zł
Imperator Anna Hackett / Książka Miękka
common.buy 51.48 zł
Changing State Feminism J. Outshoorn / Książka Miękka
common.buy 450.74 zł
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Książka Miękka
common.buy 75.47 zł
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Książka Twarda
common.buy 291.16 zł
Daughter of the Sword Steve Bein / Książka Miękka
common.buy 86.41 zł
Sexual Dysfunction A R Markos / Książka Twarda
common.buy 543.28 zł
Disturbing Influence Julian Mitchell / Książka Miękka
common.buy 77.78 zł
British America 1500-1800 Steven Sarson / Książka Miękka
common.buy 244.69 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?