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 Sandro Etalle
Kod Libristo: 01560821
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Cały opis
? points 154 b
263.64 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ć

TOP
Haikyu!!, Vol. 14 Haruichi Furudate / Miękka
common.buy 37.41 zł
TOP Zapowiedź
Maze Runner James Dashner / Miękka
common.buy 49.05 zł
Maltese Falcon Dashiell Hammett / Miękka
common.buy 40.02 zł
Google Cloud Platform in Action John J. Geewax / Miękka
common.buy 273.07 zł
Secret Kingdom: Magic Mountain Rosie Banks / Miękka
common.buy 28.88 zł
Treasure Island and The Ebb-Tide Robert Louis Stevenson / Miękka
common.buy 35.20 zł
Enterococcus faecalis / Twarda
common.buy 1 126.34 zł
E-Myth Contractor Michael E. Gerber / Miękka
common.buy 65.10 zł
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Twarda
common.buy 641.97 zł
Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long / Miękka
common.buy 74.53 zł
Text Book of Boxing Jim Driscoll / Miękka
common.buy 79.65 zł
English Auxiliaries Anthony R. Warner / Miękka
common.buy 210.47 zł
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Twarda
common.buy 1 031.63 zł
From Understanding to Action Marco Keiner / Twarda
common.buy 519.57 zł
International Directory of Company Histories Tina Gant / Twarda
common.buy 2 473.60 zł
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Miękka
common.buy 333.37 zł

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Informacje o książce

Pełna nazwa Logic Based Program Synthesis and Transformation
Autor Sandro Etalle
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 284
EAN 9783540266556
ISBN 3540266550
Kod Libristo 01560821
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 450
Wymiary 155 x 235 x 16

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