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

Deductive and Declarative Programming

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Deductive and Declarative Programming P. Padawitz
Libristo kod: 08033766
Nakladnici Cambridge University Press, listopad 1992
Declarative programs consist of mathematical functions and relations and so they are amenable to for... Cijeli opis
? points 206 b
84.47 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

LAS TUMBAS FENICIAS Y PUNICAS DEL M / Knjiga Knjiga
common.buy 8.02 €
Calderón de la Barca: El mayor encanto, Amor Alejandra Ulla / Knjiga Tvrdi uvez
common.buy 42.83 €
Ein Zeichen der Zuneigung 11 Diana Hesse / Knjiga Meki uvez
common.buy 6.91 €
Charumani kavithakal / ചെറുമണി കവിതകൾ Harsha V K / Knjiga Meki uvez
common.buy 18.75 €
Kaidkhane Ka Aaina Rupesh Singh Kumar / Knjiga Tvrdi uvez
common.buy 36.91 €
Recortes y Galleos por el Niño de Dios Orts Ramos / Knjiga Tvrdi uvez
common.buy 47.65 €
Les Richesses Hydrauliques Du Maroc Occidental, Reconnaissance Sommaire PENET-P / Knjiga Meki uvez
common.buy 14.74 €
Dibujos de poemas Trisán Encuentra / Knjiga Meki uvez
common.buy 19.05 €
Pripremamo
Funko POP Games: Sonic 30th - Running Sonic / Igra/Igračka Igračka
common.buy 21.46 €
Ibyci Rhegini Carminum Reliquiae: Quaestionum Lyricarum Libr 1 ... Ibycus / Knjiga Meki uvez
common.buy 23.57 €
Das Leben Walthers Von Der Vogelweide (1865) Rudolf Menzel / Knjiga Meki uvez
common.buy 35.10 €
Sri Mata Amritanandamayi Devi: A Biography: (Greek Edition) Swami Amritaswarupananda Puri / Knjiga Meki uvez
common.buy 15.84 €
Der Sprachschatz Der Sassen: Bd. A-H Heinrich Karl Wilhelm Berghaus / Knjiga Meki uvez
common.buy 35.10 €
Medicina Interna Veterinaria IV Mario Cuesta Mazorra / Knjiga Meki uvez
common.buy 63.90 €

Declarative programs consist of mathematical functions and relations and so they are amenable to formal specification and verification. This book emphasizes verification based on logic inference rules, attempting to capture the actual styles and applications of programming.

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 Deductive and Declarative Programming
Autor P. Padawitz
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1992
Broj stranica 285
EAN 9780521417235
ISBN 9780521417235
Libristo kod 08033766
Nakladnici Cambridge University Press
Težina 651
Dimenzije 178 x 254 x 17

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation
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

600 Basic Words Cartoons Flash Cards Bilingual English Hungarian: Easy learning baby first book with card games like ABC alphabet Numbers Animals to p Kinder Language / Tiskanica Karte
common.buy 13.23 €
From Pressure to Potential Renae Rollins / Knjiga Meki uvez
common.buy 12.33 €
Day in the Life of a Yorkie Named Zander Robert Randall / Knjiga Meki uvez
common.buy 29.39 €
Jungle: A Harrowing True Story of Survival in the Amazon Yossi Ghinsberg / Knjiga Meki uvez
common.buy 12.33 €
Intelligent Automatic Generation Control Hassan Bevrani / Knjiga Meki uvez
common.buy 129.51 €
A Summary of the Law Relating to the Granting New Trials in Civil Suits by Courts of Justice in England. John Peter Grant / Knjiga Meki uvez
common.buy 21.86 €
Computational Genome Analysis Richard C. Deonier / Knjiga Tvrdi uvez
common.buy 99.42 €
Narwhal's Otter Friend Ben (Author) Clanton / Knjiga Meki uvez
common.buy 8.12 €
Fatherless Fanny Maria Edgeworth / Knjiga Tvrdi uvez
common.buy 33.20 €
The Popular Elocutionist And Reciter (1894) Joseph Edwards Carpenter / Knjiga Meki uvez
common.buy 44.74 €
Correspondence, Dispatches and Other Papers of Viscount Castlereagh V5: Second Marquess of Londonderry: Second Series, Military and Miscellaneous Robert Stewart Castlereagh / Knjiga Meki uvez
common.buy 40.92 €
Ramsay in 10 Gordon Ramsay / Knjiga Tvrdi uvez
common.buy 23.07 €
Dynamics, Silviculture and Management of Mixed Forests Andres Bravo-Oviedo / E-knjiga Adobe ePub DRM
common.buy 262.65 €
Translation Tools and Technologies Andrew Rothwell / Knjiga Meki uvez
common.buy 56.57 €
Top
DC Encyclopedia New Edition DK / Knjiga Tvrdi uvez
common.buy 38.52 €
Top
LEGO® NINJAGO®: Dragon Powers (with Dragon Jay minifigure and Katana) Lego® / Igra/Igračka Igračka
common.buy 12.93 €
Weasel Tom David Moxley / Knjiga Tvrdi uvez
common.buy 36.11 €
Rhizosphere: Achievements and Challenges Yves Dessaux / Knjiga Tvrdi uvez
common.buy 192.92 €
Big English 4 Teacher's eText CD-Rom Christopher Sol Cruz / Digital Digital CD
common.buy 57.88 €
Positive Discipline Roslyn Duffy / Knjiga Meki uvez
common.buy 15.84 €
Turbulent Vortex Flames Khalid Saqr / Knjiga Meki uvez
common.buy 56.57 €
Wherever My Savior Leads Me Amy Sticha / Knjiga Tvrdi uvez
common.buy 29.79 €
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2 C. Stedman / Knjiga Meki uvez
common.buy 27.58 €
The history of Sir Charles Grandison, and the Honourable Miss Byron: included memoirs of a noble Italian family. In a series of letters. Formerly pu Samuel Richardson / Knjiga Meki uvez
common.buy 17.35 €

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?