Code: 08033766
Deductive and Declarative Programming
by P. Padawitz
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 ac ... more
- Language:
English - Binding: Hardback
- Number of pages: 285
Publisher: Cambridge University Press, 1992
- More about this
84.61 €
Availability:
50/50
We think title might be available. Upon your order we will do our best to get it within 6 weeks.We search the world
You might also like
-
LEGO® NINJAGO®: Dragon Powers (with Dragon Jay minifigure and Katana)
12.95 € -
DC Encyclopedia New Edition
36.17 € -25 % -
Jungle: A Harrowing True Story of Survival in the Amazon
11.55 € -25 % -
600 Basic Words Cartoons Flash Cards Bilingual English Hungarian: Easy learning baby first book with card games like ABC alphabet Numbers Animals to p
12.55 € -7 % -
Narwhal's Otter Friend
8.93 € -22 % -
Ramsay in 10
23.51 € -25 % -
Translation Tools and Technologies
54.16 € -
Ein Zeichen der Zuneigung 11
7.33 € -
Funko POP Games: Sonic 30th - Running Sonic
21.50 € -6 % -
Calderón de la Barca: El mayor encanto, Amor
45.41 € -9 % -
Les Richesses Hydrauliques Du Maroc Occidental, Reconnaissance Sommaire
14.76 € -10 % -
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
16.37 € -24 % -
LAS TUMBAS FENICIAS Y PUNICAS DEL M
8.53 € -
Sri Mata Amritanandamayi Devi: A Biography: (Greek Edition)
15.06 € -2 % -
Medicina Interna Veterinaria IV
68.02 € -14 % -
Dibujos de poemas
20.29 € -
Day in the Life of a Yorkie Named Zander
29.43 € -9 % -
![Blight. [A Novel.]](https://media.libris.to/jacket/08048684t.jpg "Blight. [A Novel.]")
Blight. [A Novel.]
21.29 € -24 % -
Intelligent Automatic Generation Control
124 € -
Correspondence, Dispatches and Other Papers of Viscount Castlereagh V5: Second Marquess of Londonderry: Second Series, Military and Miscellaneous
38.98 € -1 % -
It's All True
16.47 € -17 % -
Fatherless Fanny
31.65 € -1 % -
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2
27.63 € -10 % -
Weasel Tom
36.17 € -10 % -
Blood Master
12.75 € -1 % -
Charumani kavithakal / ചെറുമണി കവിതകൾ
17.88 € -1 % -
Rhizosphere: Achievements and Challenges
204.39 € -7 % -
Recortes y Galleos por el Niño de Dios
49.94 € -
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches.
35.26 € -2 % -
Der Sprachschatz Der Sassen: Bd. A-H
33.45 € -1 % -
Positive Discipline
14.96 € -17 % -
From Pressure to Potential
12.35 € -
Laugh If You Like
17.98 € -18 % -
A Summary of the Law Relating to the Granting New Trials in Civil Suits by Courts of Justice in England.
20.49 € -25 % -
Big English 4 Teacher's eText CD-Rom
60.79 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
Availability alert
We will watch availability for you
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
More about Deductive and Declarative Programming
You get 206 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer science Mathematical theory of computation
84.61 €
- Full title: Deductive and Declarative Programming
- Author: P. Padawitz
- Language: English
- Binding: Hardback
- Number of pages: 285
- EAN: 9780521417235
- ISBN: 9780521417235
- ID: 08033766
- Publisher: Cambridge University Press
- Weight: 651 g
- Dimensions: 254 × 178 × 17 mm
- Date of publishing: 22. October 1992
Trending among others
-
Concrete Mathematics
79.78 € -6 % -
Statistics for Data Scientists
57.17 € -
Fundamentals of Discrete Math for Computer Science
38.88 € -
Assessing and Improving Prediction and Classification
80.08 € -9 % -
Art of Computer Programming, The
71.04 € -7 % -
Type Theory and Formal Proof
97.07 € -
MATLAB Demystified
19.99 € -25 % -
Essential Linear Algebra with Applications
80.08 € -9 % -
P, NP, and NP-Completeness
151.13 € -
Array Signal Processing
82.39 € -
Art of Computer Programming, Volume 2
86.41 € -
Graph Theory
62.30 € -
Advanced R Statistical Programming and Data Models
57.27 € -25 % -
Cryptanalysis
12.25 € -25 % -
Graph Theory
84.61 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
27.83 € -5 % -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
67.12 € -
Fundamentals of Quantum Computing
70.13 € -9 % -
Foundation Mathematics for Computer Science
70.13 € -9 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
88.93 € -15 % -
What Can Be Computed?
109.83 € -5 % -
More Math Into LaTeX
93.65 € -10 % -
Boolean Algebras, 1
51.34 € -7 % -
Data Structures and Network Algorithms
45.41 € -15 % -
Computational Introduction to Number Theory and Algebra
80.59 € -
Modal Logic
123.09 € -
Basic Category Theory for Computer Scientists
35.26 € -
First Course in Statistical Programming with R
49.73 € -
GIS Algorithms
121.79 € -10 % -
A Study of Braids
51.34 € -7 % -
Introduction to Formal Language Theory
51.34 € -7 % -
Discrete Mathematics for Computing
85.71 € -14 % -
Exploring RANDOMNESS
112.94 € -
An Introduction to Quantum Computing Algorithms
71.64 € -7 % -
Temporal Logics in Computer Science
155.85 € -
Deep Learning in Natural Language Processing
171.03 € -
Numerical Validation in Current Hardware Architectures
51.34 € -7 % -
Pi-Calculus
87.32 € -
Advanced Object-Oriented Programming in R
31.85 € -
Practical Introduction to Denotational Semantics
43.70 € -
Programs, Recursion and Unbounded Choice
61.29 € -
Algorithms on Trees and Graphs
65.21 € -9 % -
Introduction to Automata Theory, Languages, and Computation
267.20 € -
Logic in Computer Science
73.55 € -
Introduction to the Theory of Computation
255.64 € -
Computers and Intractability
169.82 € -
Guide to Scientific Computing in C++
55.16 € -9 % -
Data Analysis with Open Source Tools
29.13 € -25 % -
Algorithmic Beauty of Plants
77.67 € -25 %
Shopping guide
Books by language
Collection points Bratislava a 13652 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27308 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)