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 Patricia M. Hill
Kod Libristo: 01561746
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2006
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Cały opis
? points 154 b
262.97 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ć

Der Europäische Sozialstaat und seine Institutionen. Detlef Merten / Miękka
common.buy 283.32 zł
Im Herzland Günther Dellbrügger / Twarda
common.buy 77.86 zł
Zapowiedź
Alice's Adventures In Molecular Biology Arieh Ben-Naim / Miękka
common.buy 131.68 zł
Documentos postúmos del Club Pickwick Charles Dickens / Miękka
common.buy 64.53 zł
Advanced Photonics with Second-Order Optically Nonlinear Processes A. D. Boardman / Miękka
common.buy 262.97 zł
Elizabethan Translation and Literary Culture Gabriela Schmidt / Twarda
common.buy 1 115.66 zł
Goodbye Istanbul Esmahan Aykol / Miękka
common.buy 49.00 zł
London's Peril Edmund Downey / Miękka
common.buy 76.46 zł
DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter / Miękka
common.buy 172.97 zł
Bluchertrompete Ludwig Salomon / Miękka
common.buy 96.30 zł

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

Informacje o książce

Pełna nazwa Logic Based Program Synthesis and Transformation
Autor Patricia M. Hill
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 182
EAN 9783540326540
ISBN 3540326545
Kod Libristo 01561746
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 630
Wymiary 155 x 235 x 20

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ń
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) > Programowanie komputerowe i tworzenie oprogramowania
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