Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic Based Program Synthesis and Transformation

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation M. Leuschel
Libristo kód: 01562768
Nakladateľstvo Springer, Berlin, november 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Celý popis
? points 125 b
51.38 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Thomas Jules Lebrun / Kniha Pevná
common.buy 7.83 €
Pojazdy Ernest Błędowski / Kniha Brožovaná
common.buy 2.91 €
Osterlandsagen Geyer / Kniha Brožovaná
common.buy 16.79 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Kniha Brožovaná
common.buy 21.61 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Kniha Brožovaná
common.buy 18.19 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Kniha Brožovaná
common.buy 38.61 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Kniha Brožovaná
common.buy 11.05 €
Benjamín Solari Parravicini Zerpa / Kniha Brožovaná
common.buy 11.25 €
Pohádky obtáhni a vykresli - omalovánka / Papierenský tovar Papierenský tovar
common.buy 1.50 €
Písání John Lennon / Kniha Pevná
common.buy 7.63 €
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Kniha Brožovaná
common.buy 13.77 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Kniha Brožovaná
common.buy 21.82 €
Les Conflits Commerciaux Et l'Organisation Mondiale Du Commerce Fassory Sangare / Kniha Brožovaná
common.buy 88.40 €
Paula I. Allende / Kniha Brožovaná
common.buy 10.35 €
Manual para ser feliz around the world ALESS GIBAJA / Kniha Brožovaná
common.buy 16.89 €
El proceso de ejecución hipotecaria en la Ley de enjuiciamiento civil Luis Casero Linares / Kniha Brožovaná
common.buy 113.74 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Kniha Brožovaná
common.buy 49.47 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 8.94 €
Journal Du Marquis de Dangeau... Montaiglon / Kniha Brožovaná
common.buy 26.35 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Kniha Brožovaná
common.buy 10.66 €
Malcolm Max - Auferstehung Peter Mennigen / Kniha Pevná
common.buy 12.56 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Kniha Brožovaná
common.buy 43.44 €
Metaphern der Gewalt Monika Schwarz-Friesel / Kniha Brožovaná
common.buy 30.46 €
Zkušenost a symbol Eric Voegelin / Kniha List
common.buy 13.67 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logic Based Program Synthesis and Transformation
Autor M. Leuschel
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 279
EAN 9783540404385
ISBN 3540404384
Libristo kód 01562768
Nakladateľstvo Springer, Berlin
Váha 417
Rozmery 155 x 235 x 15

Kategórie

Literatúra pre deti a mládež a náučná literatúra > Vzdelávacie materiály > Vzdelávacie materiály: matematika, veda a technika, všeobecne > Vzdelávacie materiály: prírodné vedy, všeobecná veda
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Kniha Pevná
common.buy 184.04 €
Practical Simulation in Urology Chandra Shekhar Biyani / Kniha Pevná
common.buy 200.03 €
Treasure Within You Mitra Somerville / Kniha Brožovaná
common.buy 21.51 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Kniha Brožovaná
common.buy 46.96 €
Endymion Dan Simmons / Kniha Brožovaná
common.buy 13.27 €
Top
Valor John Gwynne / Kniha Brožovaná
common.buy 16.48 €
What They Know About... Parenting!: Celebrity Moms and Dads Give Us Their Take on Having Kids Cindy Pearlman / Kniha Brožovaná
common.buy 12.27 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Kniha Leporelo
common.buy 8.64 €
Loving Life Gene Loving / Kniha Brožovaná
common.buy 25.75 €
Seven At The Sevens WritersAnonymous. org / Kniha Pevná
common.buy 36.01 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Kniha Brožovaná
common.buy 7.23 €
Krashen's Hypotheses. A critical and reflected perspective Martina Alexandra Hunkler / Kniha Brožovaná
common.buy 16.09 €
Killing Marias CLAUDIA CASTRO LUNA / Kniha Brožovaná
common.buy 11.25 €
Elements John Boyne / Kniha Brožovaná
common.buy 16.58 €
Reflections on a Flower-garden. In a Letter to a Lady. By James Hervey, A.B JAMES HERVEY / Kniha Pevná
common.buy 29.06 €
Top
Science Comics MK Reed / Kniha Brožovaná
common.buy 10.85 €
descriptive catalogue of the manuscripts in the library of Corpus Christi College, Cambridge (Part I) Montague Rhodes James / Kniha Brožovaná
common.buy 48.17 €
Understanding Artificial Intelligence Sabouret / Kniha Pevná
common.buy 140.59 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Kniha Pevná
common.buy 19.51 €
Top
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Kniha Pevná
common.buy 31.17 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Kniha Pevná
common.buy 23.42 €
Top
Running Rewired: Reinvent Your Run for Stability, Strength, and Speed, Revised Edition DICHARRY JAY / Kniha Brožovaná
common.buy 19.70 €
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Kniha Pevná
common.buy 19.90 €
My Big Toe Christopher J Klein / Kniha Pevná
common.buy 37.12 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?