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 Kurier 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

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation Maurice Bruynooghe
Kod Libristo: 01559466
Wydawnictwo Springer, Berlin, listopad 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Cały opis
? points 125 b
220.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

The Step Forward Years 1977-82 4CD Clamshell Box / Audio CD Audio
common.buy 245.94 zł
Soldati di Salamina Javier Cercas / Książka Miękka
common.buy 111.26 zł
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Książka Twarda
common.buy 272.57 zł
Atlas dějin USA Lauric Henneton / Książka Miękka
common.buy 56.48 zł
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Książka Karta
common.buy 54.37 zł
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Książka Miękka
common.buy 68.99 zł
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Książka Karta
common.buy 17.44 zł
Ehe ich mich Traue Joachim Peters / Książka Miękka
common.buy 31.36 zł
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Książka Twarda
common.buy 172.39 zł
Der Kinderkreuzzug Marcel Schwob / Książka Miękka
common.buy 55.47 zł
Nuevas Tecnologías y Derechos Humanos Pérez Luño / Książka Miękka
common.buy 121.45 zł

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

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 Maurice Bruynooghe
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 238
EAN 9783540221746
ISBN 3540221743
Kod Libristo 01559466
Wydawnictwo Springer, Berlin
Waga 380
Wymiary 156 x 234 x 13

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 > 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ć

Vintage Journal The Great Blue Outdoors Found Image Press / Książka Miękka
common.buy 35.90 zł
In the Winter: 1000 Piece Puzzle GUTIERREZ LUCI / Gra/Zabawka Gra
common.buy 65.87 zł
The Trappers of Arkansas: Or the Loyal Heart (1864) Gustave Aimard / Książka Miękka
common.buy 142.94 zł
When The Ku Klux Rode (1912) Eyre Damer / Książka Miękka
common.buy 102.48 zł
Electromagnetic Linear Machines with Dual Halbach Array LIANG YAN / Książka Miękka
common.buy 526.28 zł
Mathematical and Statistical Methods for Actuarial Sciences and Finance Marco Corazza / Książka Twarda
common.buy 963.70 zł
Rhyme Your Colours Kerrice Accarias / Książka Miękka
common.buy 42.06 zł
Here I Stand Roland Herbert Bainton / Książka Miękka
common.buy 76.56 zł
Education as a Societal Contributor Ritva Jakku-Sihvonen / Książka Miękka
common.buy 328.05 zł
Rebirth Stephanie Parker-Weaver / Książka Miękka
common.buy 82.21 zł
Asia in the Making of Europe Edwin J. van Kley / Książka Twarda
common.buy 2 846.63 zł
Data Structures, Algorithms, and Software Principles in C Thomas A. Standish / Książka Miękka
common.buy 1 097.87 zł
Atlas of Diseases of the Nail Phoebe A. Rich / Książka Twarda
common.buy 683.76 zł
Zapowiedź
Rise of The Super Furry Animals Ric Rawlins / Książka Miękka
common.buy 50.53 zł
TOP
Incredible English: 2: Class Book Sarah Phillips / Książka Miękka
common.buy 81.30 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?