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
13.43 € -24 % -
Sea of Dreams: Cixin Liu Graphic Novels #1
16.66 € -9 % -
Elektronische Markte im Internet
16.16 € -10 % -
ART OF JIM STARLIN
44.34 € -9 % -
Pocketguide Sport Events
24.64 € -11 % -
Origins of Pan-Africanism
71.32 € -
Employment and Shared Growth
23.83 €
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 146 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
60.31 €
- 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.09 € -6 % -
Type Theory and Formal Proof
94.96 € -
P, NP, and NP-Completeness
147.80 € -
Foundation Mathematics for Computer Science
70.51 € -9 % -
Statistics for Data Scientists
55.76 € -
Exploring RANDOMNESS
109.21 € -
Art of Computer Programming, The
69.50 € -7 % -
Art of Computer Programming, Volume 2
85.67 € -
Graph Theory
60.61 € -
Cryptanalysis
14.44 € -24 % -
Advanced R Statistical Programming and Data Models
56.06 € -25 % -
Graph Theory
85.26 € -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
65.46 € -
Fundamentals of Quantum Computing
70.51 € -9 % -
Art of Computer Programming, Volume 1, Fascicle 1, The
27.77 € -10 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
136.89 € -
More Math Into LaTeX
89 € -
Boolean Algebras, 1
51.62 € -7 % -
Data Structures and Network Algorithms
69.20 € -4 % -
MATLAB Demystified
19.59 € -25 % -
Basic Category Theory for Computer Scientists
34.95 € -
Essential Linear Algebra with Applications
51.11 € -42 % -
First Course in Statistical Programming with R
48.59 € -
GIS Algorithms
122.14 € -10 % -
Modal Logic
120.42 € -
Introduction to Formal Language Theory
51.62 € -7 % -
A Study of Braids
51.62 € -7 % -
Deep Learning in Natural Language Processing
172.55 € -
What Can Be Computed?
104.56 € -5 % -
An Introduction to Quantum Computing Algorithms
72.03 € -7 % -
Advanced Object-Oriented Programming in R
31.21 € -
Computational Introduction to Number Theory and Algebra
78.90 € -
Discrete Mathematics for Computing
86.17 € -14 % -
Numerical Validation in Current Hardware Architectures
51.62 € -7 % -
Algorithms on Trees and Graphs
65.46 € -9 % -
Pi-Calculus
85.46 € -
Temporal Logics in Computer Science
156.69 € -
Practical Introduction to Denotational Semantics
43.53 € -
Programs, Recursion and Unbounded Choice
60 € -
Introduction to Automata Theory, Languages, and Computation
261.36 € -
Logic in Computer Science
73.14 € -
Algorithmic Beauty of Plants
75.97 € -25 % -
Guide to Scientific Computing in C++
35.05 € -
Practical Optimization
90.62 € -9 % -
Category Theory Using Haskell
200.94 € -9 % -
Computers and Intractability
166.09 € -
Automata Theory and Formal Languages
60.51 € -9 % -
Algorithms for Next-Generation Sequencing Data
143.86 € -7 % -
P, NP, and NP-Completeness
56.16 €
Shopping guide
Books by language
Collection points Bratislava a 12770 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25544 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)