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
-
Love & Dystopia
19.50 € -25 % -
Sea of Dreams: Cixin Liu Graphic Novels #1
13.44 € -24 % -
ART OF JIM STARLIN
44.88 € -9 % -
Elektronische Markte im Internet
16.17 € -10 % -
Policia i constitució
5.15 € -
Origins of Pan-Africanism
71.87 € -
Pocketguide Sport Events
24.66 € -11 %
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 150 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
61.86 €
- 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
-
Concrete Mathematics
78.14 € -6 % -
Art of Computer Programming, The
69.54 € -7 % -
Array Signal Processing
85.21 € -
Type Theory and Formal Proof
95.02 € -
Foundation Mathematics for Computer Science
70.55 € -9 % -
P, NP, and NP-Completeness
147.89 € -
Art of Computer Programming, Volume 2
87.44 € -
Graph Theory
63.38 € -
Advanced R Statistical Programming and Data Models
56.10 € -25 % -
Cryptanalysis
14.45 € -24 % -
Graph Theory
85.21 € -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
65.50 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
27.99 € -9 % -
Fundamentals of Quantum Computing
70.55 € -9 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
96.03 € -14 % -
More Math Into LaTeX
89.05 € -
Boolean Algebras, 1
51.65 € -7 % -
MATLAB Demystified
19.60 € -25 % -
Statistics for Data Scientists
55.69 € -
Basic Category Theory for Computer Scientists
34.97 € -
Essential Linear Algebra with Applications
51.14 € -42 % -
Computational Introduction to Number Theory and Algebra
78.94 € -
Modal Logic
120.49 € -
First Course in Statistical Programming with R
48.62 € -
GIS Algorithms
122.52 € -10 % -
Introduction to Formal Language Theory
51.65 € -7 % -
A Study of Braids
51.65 € -7 % -
What Can Be Computed?
109.17 € -4 % -
Deep Learning in Natural Language Processing
172.66 € -
An Introduction to Quantum Computing Algorithms
72.07 € -7 % -
Advanced Object-Oriented Programming in R
31.23 € -
Exploring RANDOMNESS
109.17 € -
Discrete Mathematics for Computing
86.22 € -14 % -
Numerical Validation in Current Hardware Architectures
51.65 € -7 % -
Temporal Logics in Computer Science
160.22 € -
Algorithms on Trees and Graphs
65.50 € -9 % -
Practical Introduction to Denotational Semantics
43.56 € -
Pi-Calculus
85.52 € -
Programs, Recursion and Unbounded Choice
60.04 € -
Logic in Computer Science
73.18 € -
Introduction to Automata Theory, Languages, and Computation
261.52 € -
Guide to Scientific Computing in C++
35.07 € -
Computers and Intractability
207.33 € -
Algorithmic Beauty of Plants
76.01 € -25 % -
Practical Optimization
90.57 € -9 % -
Algorithms for Next-Generation Sequencing Data
143.95 € -7 % -
Category Theory Using Haskell
201.07 € -9 % -
Introduction to the Theory of Computation
250.30 € -
Automata Theory and Formal Languages
60.55 € -9 %
Shopping guide
Books by language
Collection points Bratislava a 13220 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26444 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)