Code: 03008288
Dynamic Logic
by David Harel
This book provides the first comprehensive introduction to Dynamic Logic.
- Language:
English - Binding: Paperback
- Number of pages: 476
Publisher: MIT Press Ltd, 2000
- More about this
You might also like
-
Employment and Shared Growth
31.63 € -
Counting the Cost
13.85 € -1 % -
Pocketguide Sport Events
34.44 € -6 % -
Elektronische Markte im Internet
37.15 € -6 %
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.
More about Dynamic Logic
You get 178 loyalty points
Book synopsis
This book provides the first comprehensive introduction to Dynamic Logic.
Book details
Book category Books in English Computing & information technology Computer science Mathematical theory of computation
70.70 €
- Full title: Dynamic Logic
- Author: David Harel
- Language: English
- Binding: Paperback
- Number of pages: 476
- EAN: 9780262527668
- ISBN: 9780262527668
- ID: 03008288
- Publisher: MIT Press Ltd
- Weight: 796 g
- Dimensions: 181 × 229 × 34 mm
- Date of publishing: 29. September 2000
Trending among others
-
Art of Computer Programming, The
67.88 € -12 % -
Concrete Mathematics
78.33 € -12 % -
Advanced R Statistical Programming and Data Models
60.25 € -24 % -
Graph Theory
58.44 € -
Art of Computer Programming, Volume 2
95.51 € -
Bayesian Methods for Hackers
37.05 € -10 % -
Cryptanalysis
13.75 € -28 % -
Graph Theory
83.45 € -7 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
106.75 € -
More Math Into LaTeX
94.60 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
28.51 € -7 % -
Essential Linear Algebra with Applications
65.57 € -21 % -
An Introduction to Quantum Computing Algorithms
84.26 € -
Type Theory and Formal Proof
86.57 € -1 % -
What Can Be Computed?
96.11 € -5 % -
Advanced Object-Oriented Programming in R
32.63 € -
Computational Introduction to Number Theory and Algebra
75.72 € -
Discrete Mathematics for Computing
94.80 € -
Boolean Algebras, 1
58.44 € -
Introduction to Formal Language Theory
58.44 € -
MATLAB Demystified
21.08 € -24 % -
Programs, Recursion and Unbounded Choice
57.64 € -
Numerical Validation in Current Hardware Architectures
58.44 € -
Pi-Calculus
81.75 € -
Evolutionary Algorithms in Engineering Applications
115.19 € -
Statistics for Data Scientists
53.32 € -
Algorithmic Beauty of Plants
75.12 € -23 % -
Petri Nets
208.09 € -
Automated Reasoning
115.19 € -
Learning Deep Architectures for AI
87.27 € -2 % -
Mathematics of Public Key Cryptography
62.56 € -
Algebra for Cryptologists
64.67 € -4 % -
Algebra and Coalgebra in Computer Science
58.44 € -
Random Signals for Engineers Using MATLAB (R) and Mathcad (R)
58.44 € -
Structural, Syntactic, and Statistical Pattern Recognition
115.19 € -
Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
87.27 € -2 % -
Pattern Classification 2e
185.60 € -4 % -
Distributed Algorithms
166.92 € -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
52.02 € -15 % -
Algorithms for Next-Generation Sequencing Data
166.82 € -
Basic Category Theory for Computer Scientists
41.97 € -
Data Analysis with Open Source Tools
30.02 € -25 % -
Mathematics for Computer Scientists
77.13 € -7 % -
Fundamentals of Quantum Computing
73.91 € -
Introduction to C++ and Numerical Methods
207.79 € -
Garbage Collection - Algorithms for Automatic Dynamic Memory Management
87.77 € -
Information Theory
69.09 € -4 % -
Guide to Scientific Computing in C++
58.44 € -
New Frontiers in Quantitative Methods in Informatics
58.44 €
Shopping guide
Books by language
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)