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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Deductive and Declarative Programming

Limba englezăengleză
Carte Copertă tare
Carte Deductive and Declarative Programming P. Padawitz
Codul Libristo: 08033766
Editura Cambridge University Press, octombrie 1992
Declarative programs consist of mathematical functions and relations and so they are amenable to for... Descrierea completă
? points 216 b
470.05 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Medicina Interna Veterinaria IV Mario Cuesta Mazorra / Carte Carte broșată
common.buy 381.95 lei
Les Richesses Hydrauliques Du Maroc Occidental, Reconnaissance Sommaire PENET-P / Carte Carte broșată
common.buy 85.68 lei
Sri Mata Amritanandamayi Devi: A Biography: (Greek Edition) Swami Amritaswarupananda Puri / Carte Carte broșată
common.buy 86.21 lei
Der Sprachschatz Der Sassen: Bd. A-H Heinrich Karl Wilhelm Berghaus / Carte Carte broșată
common.buy 190.40 lei
Dibujos de poemas Trisán Encuentra / Carte Carte broșată
common.buy 107.53 lei
LAS TUMBAS FENICIAS Y PUNICAS DEL M / Carte Carte
common.buy 45.45 lei
Charumani kavithakal / ചെറുമണി കവിതകൾ Harsha V K / Carte Carte broșată
common.buy 101.88 lei
Ein Zeichen der Zuneigung 11 Diana Hesse / Carte Carte broșată
common.buy 38.76 lei
Calderón de la Barca: El mayor encanto, Amor Alejandra Ulla / Carte Copertă tare
common.buy 240.45 lei

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.

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 Deductive and Declarative Programming
Autor P. Padawitz
Limba engleză
Legare Carte - Copertă tare
Data publicării 1992
Număr pagini 285
EAN 9780521417235
ISBN 9780521417235
Codul Libristo 08033766
Editura Cambridge University Press
Greutatea 651
Dimensiuni 178 x 254 x 17

Categorii

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

Intelligent Automatic Generation Control Hassan Bevrani / Carte Carte broșată
common.buy 698.81 lei
LEGO® NINJAGO®: Dragon Powers (with Dragon Jay minifigure and Katana) Lego® / Joc / Jucărie Jucărie
common.buy 57.68 lei
Translation Tools and Technologies Andrew Rothwell / Carte Carte broșată
common.buy 305.14 lei
Dynamics, Silviculture and Management of Mixed Forests Andres Bravo-Oviedo / E-book Adobe ePub DRM
common.buy 1 412.79 lei
Ramsay in 10 Gordon Ramsay / Carte Copertă tare
common.buy 127.90 lei
Correspondence, Dispatches and Other Papers of Viscount Castlereagh V5: Second Marquess of Londonderry: Second Series, Military and Miscellaneous Robert Stewart Castlereagh / Carte Carte broșată
common.buy 221.54 lei
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 / Materiale tipărite Cărți
common.buy 72.20 lei
Narwhal's Otter Friend Ben (Author) Clanton / Carte Carte broșată
common.buy 48.69 lei
Ken's Kitchen Garden: Creating a Life of Plenty: One Home's Journey to Self Reliance Kenneth Wright / Carte Carte broșată
common.buy 206.70 lei
Fatherless Fanny Maria Edgeworth / Carte Copertă tare
common.buy 179.74 lei
A Summary of the Law Relating to the Granting New Trials in Civil Suits by Courts of Justice in England. John Peter Grant / Carte Carte broșată
common.buy 120.38 lei
Rhizosphere: Achievements and Challenges Yves Dessaux / Carte Copertă tare
common.buy 1 141.71 lei
Jungle: A Harrowing True Story of Survival in the Amazon Yossi Ghinsberg / Carte Carte broșată
common.buy 67.71 lei
Day in the Life of a Yorkie Named Zander Robert Randall / Carte Carte broșată
common.buy 177.13 lei
From Pressure to Potential Renae Rollins / Carte Carte broșată
common.buy 65.10 lei
It's All True David Freeman / Carte Carte broșată
common.buy 95.51 lei
Big English 4 Teacher's eText CD-Rom Christopher Sol Cruz / Digital CD digital
common.buy 309.85 lei
Turbulent Vortex Flames Khalid Saqr / Carte Carte broșată
common.buy 337.75 lei
Weasel Tom David Moxley / Carte Copertă tare
common.buy 206.70 lei
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2 C. Stedman / Carte Carte broșată
common.buy 160.20 lei
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 / Carte Carte broșată
common.buy 95.51 lei
Navigator's Veni-Mecum, or a Complete System of the Art of Navigation Draper / Carte Carte broșată
common.buy 120.38 lei
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches. Anonymous / Carte Carte broșată
common.buy 200.64 lei
Blight. [A Novel.] Eveline Louisa Mitchell Farwell / Carte Carte broșată
common.buy 124.25 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?