Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Manual para ser feliz around the world ALESS GIBAJA / Kniha Brožovaná
common.buy 415 Kč
Pojazdy Ernest Błędowski / Kniha Brožovaná
common.buy 31 Kč
Thomas Jules Lebrun / Kniha Pevná
common.buy 219 Kč
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Kniha Brožovaná
common.buy 555 Kč
Top
Benjamín Solari Parravicini Zerpa / Kniha Brožovaná
common.buy 279 Kč
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Kniha Brožovaná
common.buy 472 Kč
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Kniha Brožovaná
common.buy 968 Kč
Osterlandsagen Geyer / Kniha Brožovaná
common.buy 413 Kč
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Kniha Brožovaná
common.buy 336 Kč
Pohádky obtáhni a vykresli - omalovánka / Papírenské zboží Papírenské zboží
common.buy 33 Kč
Metaphern der Gewalt Monika Schwarz-Friesel / Kniha Brožovaná
common.buy 748 Kč
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Kniha Brožovaná
common.buy 997 Kč
Malcolm Max - Auferstehung Peter Mennigen / Kniha Pevná
common.buy 286 Kč
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 208 Kč
Expeditionen in den dunklen Kontinent Ruth Hagen / Kniha Brožovaná
common.buy 1 209 Kč
Písání John Lennon / Kniha Pevná
common.buy 198 Kč
? travers la Montagne corse / TopoGuides / Kniha Brožovaná
common.buy 608 Kč
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Kniha Brožovaná
common.buy 535 Kč
Paula I. Allende / Kniha Brožovaná
common.buy 279 Kč
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Kniha Brožovaná
common.buy 259 Kč
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Kniha Brožovaná
common.buy 218 Kč
Malý zajíček Oblečení neuvedený autor / Kniha Leporelo
common.buy 51 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic Based Program Synthesis and Transformation
Autor M. Leuschel
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 279
EAN 9783540404385
ISBN 3540404384
Libristo kód 01562768
Nakladatelství Springer, Berlin
Váha 417
Rozměry 155 x 235 x 15

Kategorie

Literatura pro děti a mládež a naučná literatura > Vzdělávací materiály > Vzdělávací materiály: matematika, věda a technika, obecně > Vzdělávací materiály: přírodní vědy, všeobecná věda
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Kniha Pevná
common.buy 4 238 Kč
Practical Simulation in Urology Chandra Shekhar Biyani / Kniha Pevná
common.buy 4 599 Kč
The Meaning of Truth William James / Kniha Brožovaná
common.buy 154 Kč
Treasure Within You Mitra Somerville / Kniha Brožovaná
common.buy 511 Kč
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Kniha Leporelo
common.buy 200 Kč
Southern Legacy H G Manning / Kniha Brožovaná
common.buy 444 Kč
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Kniha Brožovaná
common.buy 373 Kč
Top
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Kniha Pevná
common.buy 497 Kč
Endymion Dan Simmons / Kniha Brožovaná
common.buy 317 Kč
Top
Valor John Gwynne / Kniha Brožovaná
common.buy 392 Kč
Elements John Boyne / Kniha Brožovaná
common.buy 358 Kč
Loving Life Gene Loving / Kniha Brožovaná
common.buy 627 Kč
Seven At The Sevens WritersAnonymous. org / Kniha Pevná
common.buy 876 Kč
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Kniha Brožovaná
common.buy 176 Kč
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Kniha Pevná
common.buy 554 Kč
Killing Marias CLAUDIA CASTRO LUNA / Kniha Brožovaná
common.buy 275 Kč
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Kniha Brožovaná
common.buy 1 143 Kč
Science Comics MK Reed / Kniha Brožovaná
common.buy 258 Kč
Understanding Artificial Intelligence Sabouret / Kniha Pevná
common.buy 2 939 Kč
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Kniha Pevná
common.buy 579 Kč
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Kniha Pevná
common.buy 3 145 Kč
Written Language Disorders R.M. Joshi / Kniha Pevná
common.buy 3 532 Kč
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Kniha Pevná
common.buy 2 646 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet