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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
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
219.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Manual para ser feliz around the world ALESS GIBAJA / Książka Miękka
common.buy 72.67 zł
Pojazdy Ernest Błędowski / Książka Miękka
common.buy 4.21 zł
Thomas Jules Lebrun / Książka Twarda
common.buy 38.34 zł
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Książka Miękka
common.buy 97.26 zł
TOP
Benjamín Solari Parravicini Zerpa / Książka Miękka
common.buy 48.88 zł
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Książka Miękka
common.buy 82.71 zł
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Książka Miękka
common.buy 169.64 zł
Osterlandsagen Geyer / Książka Miękka
common.buy 72.37 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 61.83 zł
Pohádky obtáhni a vykresli - omalovánka / Artykuły papiernicze Artykuły papiernicze
common.buy 6.11 zł
Metaphern der Gewalt Monika Schwarz-Friesel / Książka Miękka
common.buy 131.09 zł
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Książka Miękka
common.buy 185.50 zł
Malcolm Max - Auferstehung Peter Mennigen / Książka Twarda
common.buy 53.40 zł
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio CD Audio
common.buy 38.24 zł
Expeditionen in den dunklen Kontinent Ruth Hagen / Książka Miękka
common.buy 211.80 zł
Písání John Lennon / Książka Twarda
common.buy 38.24 zł
? travers la Montagne corse / TopoGuides / Książka Miękka
common.buy 106.50 zł
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Książka Miękka
common.buy 93.75 zł
Paula I. Allende / Książka Miękka
common.buy 48.88 zł
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Książka Miękka
common.buy 47.67 zł
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Książka Miękka
common.buy 43.26 zł
Malý zajíček Oblečení neuvedený autor / Książka Leporelo
common.buy 9.63 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 785.00 zł
Practical Simulation in Urology Chandra Shekhar Biyani / Książka Twarda
common.buy 853.17 zł
The Meaning of Truth William James / Książka Miękka
common.buy 28.60 zł
Treasure Within You Mitra Somerville / Książka Miękka
common.buy 94.05 zł
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Książka Leporelo
common.buy 36.93 zł
Southern Legacy H G Manning / Książka Miękka
common.buy 81.80 zł
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Książka Miękka
common.buy 65.34 zł
TOP
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Książka Twarda
common.buy 100.07 zł
Endymion Dan Simmons / Książka Miękka
common.buy 59.42 zł
TOP
Valor John Gwynne / Książka Miękka
common.buy 73.27 zł
Elements John Boyne / Książka Miękka
common.buy 67.65 zł
Loving Life Gene Loving / Książka Miękka
common.buy 116.74 zł
Seven At The Sevens WritersAnonymous. org / Książka Twarda
common.buy 160.51 zł
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Książka Miękka
common.buy 32.41 zł
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Książka Twarda
common.buy 102.68 zł
Killing Marias CLAUDIA CASTRO LUNA / Książka Miękka
common.buy 51.49 zł
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Książka Miękka
common.buy 210.40 zł
Science Comics MK Reed / Książka Miękka
common.buy 48.17 zł
Understanding Artificial Intelligence Sabouret / Książka Twarda
common.buy 538.76 zł
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Książka Twarda
common.buy 101.48 zł
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Książka Twarda
common.buy 579.11 zł
Written Language Disorders R.M. Joshi / Książka Twarda
common.buy 654.30 zł
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Książka Twarda
common.buy 485.55 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