phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Logic Based Program Synthesis and Transformation

Limba englezăengleză
Carte Carte broșată
Carte Logic Based Program Synthesis and Transformation M. Leuschel
Codul Libristo: 01562768
Editura Springer, Berlin, noiembrie 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Let the Old Dreams Die John Ajvide Lindqvist / Carte broșată
common.buy 59 lei
Keynes Robert Skidelsky / Carte broșată
common.buy 65 lei
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / Copertă tare
common.buy 124 lei
Practical Simulation in Urology Chandra Shekhar Biyani / Copertă tare
common.buy 1.290 lei
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Copertă tare
common.buy 220 lei
Benjamín Solari Parravicini Zerpa / Carte broșată
common.buy 57 lei
Mariko Mori Vicky Hayward / Foaie
common.buy 320 lei
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Carte broșată
common.buy 44 lei
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Carte broșată
common.buy 37 lei
Benjamin Britten Benjamin Britten / Carte broșată
common.buy 63 lei
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / Carte broșată
common.buy 125 lei
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Copertă tare
common.buy 639 lei
Modern Construction Envelopes Andrew Watts / Copertă tare
common.buy 500 lei
Max Beckmann / Copertă tare
common.buy 392 lei
100 Scientists Who Made History DK / Copertă tare
common.buy 96 lei
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Note muzicale
common.buy 65 lei

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.

Informații despre carte

Titlu complet Logic Based Program Synthesis and Transformation
Autor M. Leuschel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 279
EAN 9783540404385
ISBN 3540404384
Codul Libristo 01562768
Editura Springer, Berlin
Greutatea 417
Dimensiuni 155 x 235 x 15

Categorii

Children’s, Teenage & Educational > Educational material > Educational: Mathematics, science & technology, general > Educational: Sciences, general science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo