Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

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 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Manual para ser feliz around the world ALESS GIBAJA / Carte Carte broșată
common.buy 90.07 lei
Pojazdy Ernest Błędowski / Carte Carte broșată
common.buy 6.77 lei
Thomas Jules Lebrun / Carte Copertă tare
common.buy 47.53 lei
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Carte Carte broșată
common.buy 120.51 lei
Top
Benjamín Solari Parravicini Zerpa / Carte Carte broșată
common.buy 60.56 lei
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Carte Carte broșată
common.buy 102.47 lei
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Carte Carte broșată
common.buy 210.17 lei
Osterlandsagen Geyer / Carte Carte broșată
common.buy 89.65 lei
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Carte Carte broșată
common.buy 80.37 lei
Pohádky obtáhni a vykresli - omalovánka / Articole de papetărie Articole de papetărie
common.buy 8.02 lei
Metaphern der Gewalt Monika Schwarz-Friesel / Carte Carte broșată
common.buy 162.42 lei
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Carte Carte broșată
common.buy 243.32 lei
Malcolm Max - Auferstehung Peter Mennigen / Carte Copertă tare
common.buy 70.36 lei
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 49.51 lei
Expeditionen in den dunklen Kontinent Ruth Hagen / Carte Carte broșată
common.buy 262.51 lei
Písání John Lennon / Carte Copertă tare
common.buy 47.32 lei
? travers la Montagne corse / TopoGuides / Carte Carte broșată
common.buy 131.98 lei
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Carte Carte broșată
common.buy 116.13 lei
Paula I. Allende / Carte Carte broșată
common.buy 60.56 lei
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Carte Carte broșată
common.buy 62.13 lei
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Carte Carte broșată
common.buy 56.91 lei
Malý zajíček Oblečení neuvedený autor / Carte Cărți pliante
common.buy 12.61 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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

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

Ar putea de asemenea, să te intereseze

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Carte Copertă tare
common.buy 1 025.34 lei
Practical Simulation in Urology Chandra Shekhar Biyani / Carte Copertă tare
common.buy 1 115.73 lei
The Meaning of Truth William James / Carte Carte broșată
common.buy 37.10 lei
Treasure Within You Mitra Somerville / Carte Carte broșată
common.buy 122.18 lei
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Carte Cărți pliante
common.buy 48.36 lei
Southern Legacy H G Manning / Carte Carte broșată
common.buy 106.54 lei
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Carte Carte broșată
common.buy 81.00 lei
Top
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Carte Copertă tare
common.buy 123.95 lei
Endymion Dan Simmons / Carte Carte broșată
common.buy 73.59 lei
Top
Valor John Gwynne / Carte Carte broșată
common.buy 96.43 lei
Elements John Boyne / Carte Carte broșată
common.buy 89.65 lei
Loving Life Gene Loving / Carte Carte broșată
common.buy 152.83 lei
Seven At The Sevens WritersAnonymous. org / Carte Copertă tare
common.buy 207.77 lei
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Carte Carte broșată
common.buy 42.32 lei
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Carte Copertă tare
common.buy 134.17 lei
Killing Marias CLAUDIA CASTRO LUNA / Carte Carte broșată
common.buy 67.76 lei
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Carte Carte broșată
common.buy 273.35 lei
Science Comics MK Reed / Carte Carte broșată
common.buy 63.38 lei
Understanding Artificial Intelligence Sabouret / Carte Copertă tare
common.buy 697.15 lei
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Carte Copertă tare
common.buy 134.58 lei
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Carte Copertă tare
common.buy 752.51 lei
Written Language Disorders R.M. Joshi / Carte Copertă tare
common.buy 854.78 lei
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Carte Copertă tare
common.buy 601.65 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?