Kód: 03008288
Dynamic Logic
Autor David Harel
This book provides the first comprehensive introduction to Dynamic Logic.
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 476
Nakladateľ: MIT Press Ltd, 2000
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
Sea of Dreams: Cixin Liu Graphic Novels #1
13.43 € -24 % -
Elektronische Markte im Internet
16.16 € -10 % -
Pocketguide Sport Events
24.65 € -11 % -
Counting the Cost
13.03 € -1 % -
Employment and Shared Growth
23.94 € -
Origins of Pan-Africanism
71.33 € -
Advances in Multimedia Information Processing - PCM 2004
102.86 € -7 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Dynamic Logic
Nákupom získate 146 bodov
Anotácia knihy
This book provides the first comprehensive introduction to Dynamic Logic.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation
60.32 €
- Celý názov: Dynamic Logic
- Autor: David Harel
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 476
- EAN: 9780262527668
- ISBN: 9780262527668
- ID: 03008288
- Nakladateľ: MIT Press Ltd
- Hmotnosť: 796 g
- Rozmery: 181 × 229 × 34 mm
- Dátum vydania: 29. September 2000
Obľúbené z iného súdka
-
Concrete Mathematics
78.10 € -6 % -
Type Theory and Formal Proof
94.98 € -
P, NP, and NP-Completeness
147.83 € -
Foundation Mathematics for Computer Science
70.52 € -9 % -
Graph Theory
60.62 € -
Statistics for Data Scientists
55.77 € -
Exploring RANDOMNESS
109.23 € -
Art of Computer Programming, The
69.51 € -7 % -
Art of Computer Programming, Volume 2
69.51 € -7 % -
Cryptanalysis
14.44 € -24 % -
Advanced R Statistical Programming and Data Models
56.07 € -25 % -
Graph Theory
85.28 € -
Fundamentals of Quantum Computing
70.52 € -9 % -
Art of Computer Programming, Volume 1, Fascicle 1, The
27.98 € -9 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
136.92 € -
More Math Into LaTeX
89.02 € -
Boolean Algebras, 1
51.63 € -7 % -
MATLAB Demystified
19.59 € -25 % -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
65.47 € -
Basic Category Theory for Computer Scientists
34.95 € -
Essential Linear Algebra with Applications
51.12 € -42 % -
First Course in Statistical Programming with R
48.60 € -
Modal Logic
120.45 € -
A Study of Braids
51.63 € -7 % -
GIS Algorithms
122.57 € -10 % -
Introduction to Formal Language Theory
51.63 € -7 % -
Deep Learning in Natural Language Processing
172.59 € -
What Can Be Computed?
104.68 € -5 % -
Advanced Object-Oriented Programming in R
31.22 € -
An Introduction to Quantum Computing Algorithms
72.04 € -7 % -
Computational Introduction to Number Theory and Algebra
78.91 € -
Discrete Mathematics for Computing
86.19 € -14 % -
Algorithms on Trees and Graphs
65.47 € -9 % -
Numerical Validation in Current Hardware Architectures
51.63 € -7 % -
Pi-Calculus
85.48 € -
Temporal Logics in Computer Science
155.61 € -
Practical Introduction to Denotational Semantics
43.54 € -
Programs, Recursion and Unbounded Choice
60.02 € -
Introduction to Automata Theory, Languages, and Computation
261.41 € -
Logic in Computer Science
73.15 € -
Algorithmic Beauty of Plants
75.98 € -25 % -
Guide to Scientific Computing in C++
35.06 € -
Practical Optimization
90.63 € -9 % -
Category Theory Using Haskell
200.98 € -9 % -
Computers and Intractability
207.25 € -
Automata Theory and Formal Languages
60.52 € -9 % -
Algorithms for Next-Generation Sequencing Data
143.89 € -7 % -
P, NP, and NP-Completeness
56.18 € -
Simulating the Brain
75.58 € -9 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12820 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)