Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Deductive and Declarative Programming

Language EnglishEnglish
Book Hardback
Book Deductive and Declarative Programming P. Padawitz
Libristo code: 08033766
Publishers Cambridge University Press, October 1992
Declarative programs consist of mathematical functions and relations and so they are amenable to for... Full description
? points 222 b
33 086 Ft
50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Calderón de la Barca: El mayor encanto, Amor Alejandra Ulla / Book Hardback
common.buy 16 488 Ft
Ein Zeichen der Zuneigung 11 Diana Hesse / Book Paperback
common.buy 2 670 Ft
Charumani kavithakal / ചെറുമണി കവിതകൾ Harsha V K / Book Paperback
common.buy 7 179 Ft
LAS TUMBAS FENICIAS Y PUNICAS DEL M / Book Book
common.buy 3 090 Ft
Dibujos de poemas Trisán Encuentra / Book Paperback
common.buy 7 357 Ft
Ibyci Rhegini Carminum Reliquiae: Quaestionum Lyricarum Libr 1 ... Ibycus / Book Paperback
common.buy 8 998 Ft
Das Leben Walthers Von Der Vogelweide (1865) Rudolf Menzel / Book Paperback
common.buy 13 417 Ft
Der Sprachschatz Der Sassen: Bd. A-H Heinrich Karl Wilhelm Berghaus / Book Paperback
common.buy 13 417 Ft
Les Richesses Hydrauliques Du Maroc Occidental, Reconnaissance Sommaire PENET-P / Book Paperback
common.buy 6 042 Ft
Medicina Interna Veterinaria IV Mario Cuesta Mazorra / Book Paperback
common.buy 27 039 Ft
Sri Mata Amritanandamayi Devi: A Biography: (Greek Edition) Swami Amritaswarupananda Puri / Book Paperback
common.buy 6 076 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Deductive and Declarative Programming
Author P. Padawitz
Language English
Binding Book - Hardback
Date of issue 1992
Number of pages 285
EAN 9780521417235
ISBN 9780521417235
Libristo code 08033766
Publishers Cambridge University Press
Weight 651
Dimensions 178 x 254 x 17

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

A Summary of the Law Relating to the Granting New Trials in Civil Suits by Courts of Justice in England. John Peter Grant / Book Paperback
common.buy 8 537 Ft
Top
LEGO® NINJAGO®: Dragon Powers (with Dragon Jay minifigure and Katana) Lego® / Game/Toy Toy
common.buy 3 748 Ft
DC Encyclopedia New Edition DK / Book Hardback
common.buy 15 430 Ft
Translation Tools and Technologies Andrew Rothwell / Book Paperback
common.buy 21 442 Ft
Dynamics, Silviculture and Management of Mixed Forests Andres Bravo-Oviedo / E-book Adobe ePub DRM
common.buy 96 836 Ft
Ramsay in 10 Gordon Ramsay / Book Hardback
common.buy 10 027 Ft
Correspondence, Dispatches and Other Papers of Viscount Castlereagh V5: Second Marquess of Londonderry: Second Series, Military and Miscellaneous Robert Stewart Castlereagh / Book Paperback
common.buy 15 624 Ft
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 / Printed items Cards
common.buy 5 087 Ft
Narwhal's Otter Friend Ben (Author) Clanton / Book Paperback
common.buy 3 342 Ft
Fatherless Fanny Maria Edgeworth / Book Hardback
common.buy 12 672 Ft
Rhizosphere: Achievements and Challenges Yves Dessaux / Book Hardback
common.buy 80 677 Ft
Intelligent Automatic Generation Control Hassan Bevrani / Book Paperback
common.buy 49 129 Ft
Jungle: A Harrowing True Story of Survival in the Amazon Yossi Ghinsberg / Book Paperback
common.buy 4 805 Ft
Day in the Life of a Yorkie Named Zander Robert Randall / Book Paperback
common.buy 11 327 Ft
From Pressure to Potential Renae Rollins / Book Paperback
common.buy 4 746 Ft
Big English 4 Teacher's eText CD-Rom Christopher Sol Cruz / Digital Digital CD
common.buy 23 133 Ft
Weasel Tom David Moxley / Book Hardback
common.buy 14 580 Ft
Turbulent Vortex Flames Khalid Saqr / Book Paperback
common.buy 23 924 Ft
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2 C. Stedman / Book Paperback
common.buy 10 640 Ft
Positive Discipline Roslyn Duffy / Book Paperback
common.buy 6 136 Ft
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 / Book Paperback
common.buy 6 788 Ft
Navigator's Veni-Mecum, or a Complete System of the Art of Navigation Draper / Book Paperback
common.buy 8 538 Ft
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches. Anonymous / Book Paperback
common.buy 14 145 Ft
Blight. [A Novel.] Eveline Louisa Mitchell Farwell / Book Paperback
common.buy 8 820 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?