Kód: 03008288
Dynamic Logic
Autor David Harel
This book provides the first comprehensive introduction to Dynamic Logic.
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 476
Nakladatelství: MIT Press Ltd, 2000
- Více informací o knize
Mohlo by se vám také líbit
-
Sea of Dreams: Cixin Liu Graphic Novels #1
325 Kč -
Elektronische Markte im Internet
369 Kč -
Pocketguide Sport Events
562 Kč -
Counting the Cost
315 Kč -
Employment and Shared Growth
580 Kč -
Origins of Pan-Africanism
1642 Kč -
Advances in Multimedia Information Processing - PCM 2004
2357 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Dynamic Logic
Nákupem získáte 139 bodů
Anotace knihy
This book provides the first comprehensive introduction to Dynamic Logic.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation
1391 Kč
- Plný název: Dynamic Logic
- Autor: David Harel
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 476
- EAN: 9780262527668
- ISBN: 9780262527668
- ID: 03008288
- Nakladatelství: MIT Press Ltd
- Hmotnost: 796 g
- Rozměry: 181 × 229 × 34 mm
- Datum vydání: 29. September 2000
Oblíbené z jiného soudku
-
Concrete Mathematics
1789 Kč -
Type Theory and Formal Proof
2188 Kč -
P, NP, and NP-Completeness
3581 Kč -
Foundation Mathematics for Computer Science
1614 Kč -
Graph Theory
1469 Kč -
Statistics for Data Scientists
1352 Kč -
Exploring RANDOMNESS
2521 Kč -
Art of Computer Programming, The
1684 Kč -
Art of Computer Programming, Volume 2
1684 Kč -
Cryptanalysis
335 Kč -
Advanced R Statistical Programming and Data Models
1268 Kč -
Graph Theory
2065 Kč -
Fundamentals of Quantum Computing
1614 Kč -
Art of Computer Programming, Volume 1, Fascicle 1, The
632 Kč -
Numerical Recipes Source Code CD-ROM 3rd Edition
3166 Kč -
More Math Into LaTeX
2048 Kč -
Boolean Algebras, 1
1182 Kč -
MATLAB Demystified
475 Kč -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
1587 Kč -
Basic Category Theory for Computer Scientists
807 Kč -
Essential Linear Algebra with Applications
1238 Kč -
First Course in Statistical Programming with R
1178 Kč -
Modal Logic
2918 Kč -
A Study of Braids
1182 Kč -
GIS Algorithms
2969 Kč -
Introduction to Formal Language Theory
1182 Kč -
Deep Learning in Natural Language Processing
3971 Kč -
What Can Be Computed?
2536 Kč -
Advanced Object-Oriented Programming in R
756 Kč -
An Introduction to Quantum Computing Algorithms
1652 Kč -
Computational Introduction to Number Theory and Algebra
1911 Kč -
Discrete Mathematics for Computing
1966 Kč -
Algorithms on Trees and Graphs
1500 Kč -
Numerical Validation in Current Hardware Architectures
1182 Kč -
Pi-Calculus
2071 Kč -
Temporal Logics in Computer Science
3598 Kč -
Practical Introduction to Denotational Semantics
1002 Kč -
Programs, Recursion and Unbounded Choice
1453 Kč -
Introduction to Automata Theory, Languages, and Computation
6331 Kč -
Logic in Computer Science
1682 Kč -
Algorithmic Beauty of Plants
1841 Kč -
Guide to Scientific Computing in C++
807 Kč -
Practical Optimization
2074 Kč -
Category Theory Using Haskell
4599 Kč -
Computers and Intractability
5020 Kč -
Automata Theory and Formal Languages
1384 Kč -
Algorithms for Next-Generation Sequencing Data
3297 Kč -
P, NP, and NP-Completeness
1362 Kč -
Simulating the Brain
1729 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47512 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)