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 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.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.59 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Manual para ser feliz around the world ALESS GIBAJA / Kniha Brožovaná
common.buy 17.15 €
Pojazdy Ernest Błędowski / Kniha Brožovaná
common.buy 1.30 €
Thomas Jules Lebrun / Kniha Pevná
common.buy 8.98 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Kniha Brožovaná
common.buy 22.91 €
Top
Benjamín Solari Parravicini Zerpa / Kniha Brožovaná
common.buy 11.50 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Kniha Brožovaná
common.buy 19.48 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Kniha Brožovaná
common.buy 39.97 €
Osterlandsagen Geyer / Kniha Brožovaná
common.buy 17.05 €
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.82 €
Pohádky obtáhni a vykresli - omalovánka / Papierenský tovar Papierenský tovar
common.buy 1.30 €
Metaphern der Gewalt Monika Schwarz-Friesel / Kniha Brožovaná
common.buy 30.89 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Kniha Brožovaná
common.buy 43.71 €
Malcolm Max - Auferstehung Peter Mennigen / Kniha Pevná
common.buy 12.61 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 8.98 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Kniha Brožovaná
common.buy 49.87 €
Písání John Lennon / Kniha Pevná
common.buy 7.66 €
? travers la Montagne corse / TopoGuides / Kniha Brožovaná
common.buy 25.03 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Kniha Brožovaná
common.buy 22.10 €
Paula I. Allende / Kniha Brožovaná
common.buy 11.50 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Kniha Brožovaná
common.buy 10.69 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Kniha Brožovaná
common.buy 8.37 €
Malý zajíček Oblečení neuvedený autor / Kniha Leporelo
common.buy 2.21 €

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.76 €
Practical Simulation in Urology Chandra Shekhar Biyani / Kniha Pevná
common.buy 200.82 €
The Meaning of Truth William James / Kniha Brožovaná
common.buy 6.35 €
Treasure Within You Mitra Somerville / Kniha Brožovaná
common.buy 21.09 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Kniha Leporelo
common.buy 8.67 €
Southern Legacy H G Manning / Kniha Brožovaná
common.buy 18.27 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Kniha Brožovaná
common.buy 15.34 €
Top
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Kniha Pevná
common.buy 31.39 €
Endymion Dan Simmons / Kniha Brožovaná
common.buy 13.12 €
Top
Valor John Gwynne / Kniha Brožovaná
common.buy 16.15 €
Elements John Boyne / Kniha Brožovaná
common.buy 16.75 €
Loving Life Gene Loving / Kniha Brožovaná
common.buy 25.84 €
Seven At The Sevens WritersAnonymous. org / Kniha Pevná
common.buy 36.14 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Kniha Brožovaná
common.buy 7.26 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Kniha Pevná
common.buy 24.12 €
Killing Marias CLAUDIA CASTRO LUNA / Kniha Brožovaná
common.buy 11.30 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Kniha Brožovaná
common.buy 47.14 €
Science Comics MK Reed / Kniha Brožovaná
common.buy 10.59 €
Understanding Artificial Intelligence Sabouret / Kniha Pevná
common.buy 121.25 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Kniha Pevná
common.buy 25.54 €
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Kniha Pevná
common.buy 129.74 €
Written Language Disorders R.M. Joshi / Kniha Pevná
common.buy 154.07 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Kniha Pevná
common.buy 109.14 €

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ť?