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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation M. Leuschel
Kod Libristo: 01562768
Wydawnictwo Springer, Berlin, listopad 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Cały opis
? points 125 b
223.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Pojazdy Ernest Błędowski / Książka Miękka
common.buy 4.81 zł
Thomas Jules Lebrun / Książka Twarda
common.buy 38.48 zł
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Książka Miękka
common.buy 98.95 zł
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Książka Miękka
common.buy 83.86 zł
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Książka Miękka
common.buy 173.06 zł
Pohádky obtáhni a vykresli - omalovánka / Artykuły papiernicze Artykuły papiernicze
common.buy 6.25 zł
Osterlandsagen Geyer / Książka Miękka
common.buy 73.80 zł
Benjamín Solari Parravicini Zerpa / Książka Miękka
common.buy 44.75 zł
Písání John Lennon / Książka Twarda
common.buy 30.78 zł
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Książka Miękka
common.buy 55.73 zł
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Książka Miękka
common.buy 86.01 zł
Les Conflits Commerciaux Et l'Organisation Mondiale Du Commerce Fassory Sangare / Książka Miękka
common.buy 385.24 zł
Expeditionen in den dunklen Kontinent Ruth Hagen / Książka Miękka
common.buy 216.58 zł
Paula I. Allende / Książka Miękka
common.buy 49.47 zł
Manual para ser feliz around the world ALESS GIBAJA / Książka Miękka
common.buy 67.53 zł
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio CD Audio
common.buy 39.10 zł
Journal Du Marquis de Dangeau... Montaiglon / Książka Miękka
common.buy 120.71 zł
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Książka Miękka
common.buy 48.75 zł
Malcolm Max - Auferstehung Peter Mennigen / Książka Twarda
common.buy 54.60 zł
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Książka Miękka
common.buy 189.69 zł
Metaphern der Gewalt Monika Schwarz-Friesel / Książka Miękka
common.buy 133.85 zł
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Książka Miękka
common.buy 44.23 zł
Al Pie de la Encina. Historias, tradiciones y recuerdos. Victor Balaguer / Książka Twarda
common.buy 149.45 zł
Malý zajíček Oblečení neuvedený autor / Książka Leporelo
common.buy 9.84 zł

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 279
EAN 9783540404385
ISBN 3540404384
Kod Libristo 01562768
Wydawnictwo Springer, Berlin
Waga 417
Wymiary 155 x 235 x 15

Kategoria

Publikacje dla dzieci i młodzieży, edukacja > Materiały edukacyjne > Edukacja – matematyka, nauki ścisłe i technika > Edukacja – nauka i nauki przyrodnicze
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) > 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

Mogłoby Cię także zainteresować

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Książka Twarda
common.buy 802.73 zł
Practical Simulation in Urology Chandra Shekhar Biyani / Książka Twarda
common.buy 872.43 zł
Treasure Within You Mitra Somerville / Książka Miękka
common.buy 96.17 zł
The Meaning of Truth William James / Książka Miękka
common.buy 29.25 zł
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Książka Miękka
common.buy 215.15 zł
Endymion Dan Simmons / Książka Miękka
common.buy 60.55 zł
TOP
Valor John Gwynne / Książka Miękka
common.buy 74.93 zł
What They Know About... Parenting!: Celebrity Moms and Dads Give Us Their Take on Having Kids Cindy Pearlman / Książka Miękka
common.buy 56.96 zł
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Książka Leporelo
common.buy 37.77 zł
Loving Life Gene Loving / Książka Miękka
common.buy 119.37 zł
Seven At The Sevens WritersAnonymous. org / Książka Twarda
common.buy 164.13 zł
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Książka Miękka
common.buy 33.15 zł
Krashen's Hypotheses. A critical and reflected perspective Martina Alexandra Hunkler / Książka Miękka
common.buy 70.20 zł
Killing Marias CLAUDIA CASTRO LUNA / Książka Miękka
common.buy 52.65 zł
TOP
Elements John Boyne / Książka Miękka
common.buy 70.61 zł
Reflections on a Flower-garden. In a Letter to a Lady. By James Hervey, A.B JAMES HERVEY / Książka Twarda
common.buy 133.13 zł
TOP
Science Comics MK Reed / Książka Miękka
common.buy 49.26 zł
Understanding Artificial Intelligence Sabouret / Książka Twarda
common.buy 550.92 zł
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Książka Twarda
common.buy 105.00 zł
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Książka Twarda
common.buy 102.33 zł
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Książka Twarda
common.buy 103.77 zł
TOP
Running Rewired: Reinvent Your Run for Stability, Strength, and Speed, Revised Edition DICHARRY JAY / Książka Miękka
common.buy 90.63 zł
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Książka Twarda
common.buy 90.12 zł
My Big Toe Christopher J Klein / Książka Twarda
common.buy 170.19 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?