Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic Based Program Synthesis and Transformation

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic Based Program Synthesis and Transformation M. Leuschel
Libristo kod: 01562768
Nakladnici Springer, Berlin, studeni 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Cijeli opis
? points 125 b
51.66 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Pojazdy Ernest Błędowski / Knjiga Meki uvez
common.buy 1.20 €
Thomas Jules Lebrun / Knjiga Tvrdi uvez
common.buy 8.58 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Knjiga Meki uvez
common.buy 21.93 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Knjiga Meki uvez
common.buy 18.60 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Knjiga Meki uvez
common.buy 38.21 €
Pohádky obtáhni a vykresli - omalovánka / Proizvodi od papira Proizvodi od papira
common.buy 1.41 €
Osterlandsagen Geyer / Knjiga Meki uvez
common.buy 16.07 €
Benjamín Solari Parravicini Zerpa / Knjiga Meki uvez
common.buy 10.91 €
Písání John Lennon / Knjiga Tvrdi uvez
common.buy 6.66 €
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Knjiga Meki uvez
common.buy 13.54 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Knjiga Meki uvez
common.buy 20.92 €
Les Conflits Commerciaux Et l'Organisation Mondiale Du Commerce Fassory Sangare / Knjiga Meki uvez
common.buy 88.77 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Knjiga Meki uvez
common.buy 47.31 €
Paula I. Allende / Knjiga Meki uvez
common.buy 11.01 €
Manual para ser feliz around the world ALESS GIBAJA / Knjiga Meki uvez
common.buy 16.27 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 8.99 €
Journal Du Marquis de Dangeau... Montaiglon / Knjiga Meki uvez
common.buy 27.80 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Knjiga Meki uvez
common.buy 11.21 €
Malcolm Max - Auferstehung Peter Mennigen / Knjiga Tvrdi uvez
common.buy 12.63 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Knjiga Meki uvez
common.buy 43.77 €
Metaphern der Gewalt Monika Schwarz-Friesel / Knjiga Meki uvez
common.buy 29.01 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Knjiga Meki uvez
common.buy 10.20 €
Al Pie de la Encina. Historias, tradiciones y recuerdos. Victor Balaguer / Knjiga Tvrdi uvez
common.buy 34.47 €
Malý zajíček Oblečení neuvedený autor / Knjiga Leporelo
common.buy 2.21 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic Based Program Synthesis and Transformation
Autor M. Leuschel
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2003
Broj stranica 279
EAN 9783540404385
ISBN 3540404384
Libristo kod 01562768
Nakladnici Springer, Berlin
Težina 417
Dimenzije 155 x 235 x 15

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Knjiga Tvrdi uvez
common.buy 185.03 €
Practical Simulation in Urology Chandra Shekhar Biyani / Knjiga Tvrdi uvez
common.buy 201.11 €
Treasure Within You Mitra Somerville / Knjiga Meki uvez
common.buy 22.13 €
The Meaning of Truth William James / Knjiga Meki uvez
common.buy 6.76 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Knjiga Meki uvez
common.buy 49.64 €
Endymion Dan Simmons / Knjiga Meki uvez
common.buy 13.13 €
Top
Valor John Gwynne / Knjiga Meki uvez
common.buy 17.28 €
What They Know About... Parenting!: Celebrity Moms and Dads Give Us Their Take on Having Kids Cindy Pearlman / Knjiga Meki uvez
common.buy 13.13 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Knjiga Leporelo
common.buy 8.69 €
Loving Life Gene Loving / Knjiga Meki uvez
common.buy 27.49 €
Seven At The Sevens WritersAnonymous. org / Knjiga Tvrdi uvez
common.buy 37.81 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Knjiga Meki uvez
common.buy 7.67 €
Krashen's Hypotheses. A critical and reflected perspective Martina Alexandra Hunkler / Knjiga Meki uvez
common.buy 16.17 €
Killing Marias CLAUDIA CASTRO LUNA / Knjiga Meki uvez
common.buy 12.12 €
Top
Elements John Boyne / Knjiga Meki uvez
common.buy 16.27 €
Reflections on a Flower-garden. In a Letter to a Lady. By James Hervey, A.B JAMES HERVEY / Knjiga Tvrdi uvez
common.buy 30.73 €
Top
Science Comics MK Reed / Knjiga Meki uvez
common.buy 11.32 €
Understanding Artificial Intelligence Sabouret / Knjiga Tvrdi uvez
common.buy 126.99 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Knjiga Tvrdi uvez
common.buy 24.16 €
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Knjiga Tvrdi uvez
common.buy 22.03 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Knjiga Tvrdi uvez
common.buy 25.57 €
Top
Running Rewired: Reinvent Your Run for Stability, Strength, and Speed, Revised Edition DICHARRY JAY / Knjiga Meki uvez
common.buy 20.92 €
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Knjiga Tvrdi uvez
common.buy 19.51 €
My Big Toe Christopher J Klein / Knjiga Tvrdi uvez
common.buy 39.22 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?