phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Logic Based Program Synthesis and Transformation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation M. Leuschel
Libristo kód: 01562768
Nakladatelství Springer, Berlin, listopadu 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Let the Old Dreams Die John Ajvide Lindqvist / Brožovaná
common.buy 258 Kč
Keynes Robert Skidelsky / Brožovaná
common.buy 283 Kč
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / Pevná
common.buy 583 Kč
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Pevná
common.buy 1 061 Kč
Practical Simulation in Urology Chandra Shekhar Biyani / Pevná
common.buy 6 139 Kč
Benjamín Solari Parravicini Zerpa / Brožovaná
common.buy 281 Kč
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Brožovaná
common.buy 175 Kč
Mariko Mori Vicky Hayward / List
common.buy 1 716 Kč
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Brožovaná
common.buy 226 Kč
Benjamin Britten Benjamin Britten / Brožovaná
common.buy 297 Kč
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / Brožovaná
common.buy 623 Kč
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Pevná
common.buy 3 039 Kč
Modern Construction Envelopes Andrew Watts / Pevná
common.buy 2 484 Kč
Max Beckmann / Pevná
common.buy 1 945 Kč
100 Scientists Who Made History DK / Pevná
common.buy 381 Kč
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Noty
common.buy 327 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.

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

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