phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Logic-Based Program Synthesis and Transformation

Język AngielskiAngielski
Książka Miękka
Książka Logic-Based Program Synthesis and Transformation Germán Vidal
Kod Libristo: 01661777
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Cały opis
? points 200 b
340.26 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Twarda
common.buy 73.79 zł
Služba Robert M. Gates / Twarda
common.buy 124.25 zł
Collaborative Design Management Stephen Emmitt / Miękka
common.buy 297.58 zł
Kdo mi pomůže Jaroslav Gering / Twarda
common.buy 35.49 zł
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Twarda
common.buy 493.54 zł
ABC des wissenschaftlichen Arbeitens Manuel Rene Theisen / Miękka
common.buy 47.06 zł
Mots et contexte 3. Ausgabe Wolfgang Fischer / Miękka
common.buy 86.16 zł
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Miękka
common.buy 307.95 zł
Madchen in der Sprayerkultur? Lena Rheindorf / Miękka
common.buy 173.22 zł
Healing Hotels of the World / Twarda
common.buy 254.89 zł

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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.

Informacje o książce

Pełna nazwa Logic-Based Program Synthesis and Transformation
Autor Germán Vidal
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 254
EAN 9783642322105
ISBN 3642322107
Kod Libristo 01661777
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 409
Wymiary 155 x 235 x 15

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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

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