phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Logic Based Program Synthesis and Transformation

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 154 b
61.56 €
Vanjske zalihe u manjem broju Šaljemo za 10-14 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Let the Old Dreams Die John Ajvide Lindqvist / Meki uvez
common.buy 11.72 €
Keynes Robert Skidelsky / Meki uvez
common.buy 12.93 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / Tvrdi uvez
common.buy 23.24 €
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Tvrdi uvez
common.buy 41.14 €
Practical Simulation in Urology Chandra Shekhar Biyani / Tvrdi uvez
common.buy 245.26 €
Benjamín Solari Parravicini Zerpa / Meki uvez
common.buy 10.50 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Meki uvez
common.buy 6.97 €
Mariko Mori Vicky Hayward / List
common.buy 63.48 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Meki uvez
common.buy 8.68 €
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / Meki uvez
common.buy 24.86 €
Benjamin Britten Benjamin Britten / Meki uvez
common.buy 11.82 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Tvrdi uvez
common.buy 121.41 €
Modern Construction Envelopes Andrew Watts / Tvrdi uvez
common.buy 99.27 €
Max Beckmann / Tvrdi uvez
common.buy 74.20 €
100 Scientists Who Made History DK / Tvrdi uvez
common.buy 15.26 €
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Note
common.buy 12.93 €

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.

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

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