Kód: 08033766
Deductive and Declarative Programming
Autor 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 ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 285
Nakladatelství: Cambridge University Press, 1992
- Více informací o knize
2346 Kč
Dostupnost:
50 % šance
Máme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.Prohledáme celý svět
Mohlo by se vám také líbit
-
Turbulent Vortex Flames
1704 Kč -
Weasel Tom
1055 Kč -
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2
1114 Kč -
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
518 Kč -
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches.
1064 Kč -
![Blight. [A Novel.]](https://media.libris.to/jacket/08048684t.jpg "Blight. [A Novel.]")
Blight. [A Novel.]
673 Kč -
![Jenny, a Poem, by H. M. Faustinetti. [with Illustrations. Preceded by an Invitation-Card from S. R. Bennett.]](https://media.libris.to/jacket/08050243t.jpg "Jenny, a Poem, by H. M. Faustinetti. [with Illustrations. Preceded by an Invitation-Card from S. R. Bennett.]")
Jenny, a Poem, by H. M. Faustinetti. [with Illustrations. Preceded by an Invitation-Card from S. R. Bennett.]
477 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Informovat o naskladnění knihy
Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.
Více informací o knize Deductive and Declarative Programming
Nákupem získáte 235 bodů
Anotace knihy
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.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation
2346 Kč
- Plný název: Deductive and Declarative Programming
- Autor: P. Padawitz
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 285
- EAN: 9780521417235
- ISBN: 9780521417235
- ID: 08033766
- Nakladatelství: Cambridge University Press
- Hmotnost: 651 g
- Rozměry: 254 × 178 × 17 mm
- Datum vydání: 22. October 1992
Oblíbené z jiného soudku
-
Concrete Mathematics
2087 Kč -
Advanced R Statistical Programming and Data Models
1819 Kč -
Graph Theory
1323 Kč -
Art of Computer Programming, The
1872 Kč -
Cryptanalysis
370 Kč -
More Math Into LaTeX
2720 Kč -
Art of Computer Programming, Volume 2
2526 Kč -
Bayesian Methods for Hackers
987 Kč -
Essential Linear Algebra with Applications
1653 Kč -
Art of Computer Programming, Volume 1, Fascicle 1, The
719 Kč -
Graph Theory
2292 Kč -
Numerical Recipes Source Code CD-ROM 3rd Edition
3081 Kč -
An Introduction to Quantum Computing Algorithms
2422 Kč -
Type Theory and Formal Proof
2620 Kč -
Advanced Object-Oriented Programming in R
939 Kč -
What Can Be Computed?
2414 Kč -
Computational Introduction to Number Theory and Algebra
2185 Kč -
Introduction to Formal Language Theory
1681 Kč -
Boolean Algebras, 1
1681 Kč -
Discrete Mathematics for Computing
2714 Kč -
MATLAB Demystified
634 Kč -
Programs, Recursion and Unbounded Choice
1661 Kč -
Numerical Validation in Current Hardware Architectures
1681 Kč -
Pi-Calculus
2356 Kč -
Evolutionary Algorithms in Engineering Applications
3313 Kč -
Statistics for Data Scientists
1533 Kč -
Algorithmic Beauty of Plants
2264 Kč -
Structural, Syntactic, and Statistical Pattern Recognition
3313 Kč -
Petri Nets
5985 Kč -
Automated Reasoning
3313 Kč -
Algebra and Coalgebra in Computer Science
1681 Kč -
Algebra for Cryptologists
940 Kč -
Random Signals for Engineers Using MATLAB (R) and Mathcad (R)
1681 Kč -
Learning Deep Architectures for AI
2536 Kč -
Mathematics of Public Key Cryptography
2417 Kč -
Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
2535 Kč -
Basic Category Theory for Computer Scientists
1189 Kč -
Introduction to C++ and Numerical Methods
5658 Kč -
Data Analysis with Open Source Tools
909 Kč -
Fundamentals of Quantum Computing
2126 Kč -
Mathematics for Computer Scientists
2142 Kč -
Distributed Algorithms
4412 Kč -
Guide to Scientific Computing in C++
1681 Kč -
Discrete and Combinatorial Mathematics
2792 Kč -
Algorithms for Next-Generation Sequencing Data
4798 Kč -
Pattern Classification 2e
5407 Kč -
Assessing and Improving Prediction and Classification
2422 Kč -
New Frontiers in Quantitative Methods in Informatics
1681 Kč -
Logic in Computer Science
2154 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)