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 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic Program Synthesis and Transformation

5th International Workshop, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic Program Synthesis and Transformation Maurizio Proietti
Libristo kod: 05274555
Nakladnici Springer, Berlin, studeni 1995
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Cijeli opis
? points 125 b
51.62 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur Georg Stötzel / Knjiga Tvrdi uvez
common.buy 208.12 €
Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations GONDRET-L-F / Knjiga Meki uvez
common.buy 13.63 €
Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri / Knjiga Tvrdi uvez
common.buy 17.37 €
AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA / Knjiga Meki uvez
common.buy 23.73 €
Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon / E-knjiga Adobe ePub DRM
common.buy 10.80 €

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

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 Program Synthesis and Transformation
Autor Maurizio Proietti
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 274
EAN 9783540609391
ISBN 3540609393
Libristo kod 05274555
Nakladnici Springer, Berlin
Težina 378
Dimenzije 156 x 234 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Studies in Plato and the Platonic Tradition Mark Joyal / Knjiga Tvrdi uvez
common.buy 208.82 €
Povoljno
Breathe Peter Maguire / Knjiga Tvrdi uvez
common.buy 14.24 €
DOLPHINS AND WHALES Following my Passion Hannah E Hunter / Knjiga Meki uvez
common.buy 19.29 €
Cordova Cathy R. Sherman with Photographs from T / Knjiga Tvrdi uvez
common.buy 24.54 €
False Memory Tony Lopez / Knjiga Meki uvez
common.buy 17.17 €
Modern Capitalist Culture Leslie A. White / Knjiga Tvrdi uvez
common.buy 229.74 €
Beyond the Asterisk Heather J. Shotton / Knjiga Meki uvez
common.buy 56.47 €
Porsche 911 Carrera Service Manual 1995-1998 Bentley Publishers / Knjiga Tvrdi uvez
common.buy 162.45 €
Trading Risk - Enhanced Profitability Through Risk Control Kenneth L. Grant / Knjiga Tvrdi uvez
common.buy 70.11 €
Septimus and the Danedyke Mystery Stephen Chance / Knjiga Meki uvez
common.buy 13.83 €

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?