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 Program Synthesis and Transformation

Język AngielskiAngielski
Książka Miękka
Książka Logic Program Synthesis and Transformation John Gallagher
Kod Libristo: 05274682
Wydawnictwo Springer, Berlin, listopad 1996
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Wor... Cały opis
? points 147 b
247.18 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 10-14 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

MMA Mastery: Strike Combinations Mark Hatmaker / Miękka
common.buy 46.79 zł
Business Teacher's Resource John Allison / Wideo
common.buy 109.65 zł
Friedrich Schiller Peter-André Alt / Miękka
common.buy 43.93 zł
Zapowiedź
Schule für die Altblockflöte Franz J. Giesbert / Nuty
common.buy 95.65 zł
Latte Igel 3: Latte Igel und der Schwarze Schatten, 2 Audio-CD Sebastian Lybeck / CD Audio
common.buy 35.26 zł
Works of Aphra Behn: v. 7: Complete Plays Aphra Behn / Twarda
common.buy 629.45 zł
Das Lied von Eis und Feuer - Die Saat des goldenen Löwen, 3 Audio-CD, 3 MP3 George R. R. Martin / CD Audio
common.buy 84.42 zł
The Casus Codicis of Wilhelmus de Cabriano Tammo Wallinga / Twarda
common.buy 459.20 zł
Afrikanische Kunst Ferdinand Herrmann / Miękka
common.buy 181.67 zł
Independent central banks and economic performance Sylvester C. W. Eijffinger / Twarda
common.buy 1 500.19 zł
Experiment in Occupation Arthur D. Kahn / Miękka
common.buy 157.63 zł
Electromagnetic Field Computation by Network Methods Leopold B. Felsen / Twarda
common.buy 487.18 zł
Victorian Radicals and Italian Democrats Marcella Pellegrino Sutcliffe / Twarda
common.buy 426.30 zł

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Informacje o książce

Pełna nazwa Logic Program Synthesis and Transformation
Autor John Gallagher
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 331
EAN 9783540627180
ISBN 3540627189
Kod Libristo 05274682
Wydawnictwo Springer, Berlin
Waga 438
Wymiary 156 x 234 x 18

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 > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie obiektowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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
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