phone 02/210 210 99
LIBRISTO 0
Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén
Szlovák posta 4.49 € SPS futárszolgálat 4.99 € GLS futár 3.99 € GLS pont 2.99 € Packeta futárszolgálat 4.99 € Packeta pont 2.99 €
phone Kapcsolat phoneHogyan vásároljunk

Logic Based Program Synthesis and Transformation

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic Based Program Synthesis and Transformation M. Leuschel
Libristo kód: 01562768
Kiadó Springer, Berlin, november 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Teljes leírás
? points 154 b
61.56 €
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / Kemény kötésű
common.buy 22.64 €
Let the Old Dreams Die John Ajvide Lindqvist / Puha kötésű
common.buy 11.11 €
Keynes Robert Skidelsky / Puha kötésű
common.buy 11.31 €
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Kemény kötésű
common.buy 41.04 €
Practical Simulation in Urology Chandra Shekhar Biyani / Kemény kötésű
common.buy 245.26 €
Benjamín Solari Parravicini Zerpa / Puha kötésű
common.buy 11.82 €
Mariko Mori Vicky Hayward / Lap
common.buy 68.53 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Puha kötésű
common.buy 8.99 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Puha kötésű
common.buy 6.86 €
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / Puha kötésű
common.buy 24.86 €
Benjamin Britten Benjamin Britten / Puha kötésű
common.buy 11.82 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Kemény kötésű
common.buy 121.31 €
Modern Construction Envelopes Andrew Watts / Kemény kötésű
common.buy 109.88 €
Max Beckmann / Kemény kötésű
common.buy 77.33 €
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Kotta
common.buy 13.54 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) / Puha kötésű
common.buy 8.18 €

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.

Információ a könyvről

Teljes megnevezés Logic Based Program Synthesis and Transformation
Szerző M. Leuschel
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 279
EAN 9783540404385
ISBN 3540404384
Libristo kód 01562768
Kiadó Springer, Berlin
Súly 417
Méretek 155 x 235 x 15

Kategória

Gyermekek és serdülőkorúak számára írt könyvek, oktatási célra szánt konyvek > Oktatási anyag > Oktatási: matematika, tudomány és technológia, általános > Oktatási: tudományok, általános
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása