Temporal Logics in Computer Science
2760 Kč 2 848 Kč
Sleva až 70% u třetiny knih
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
| Autor: | Demri, Stephane; Goranko, Valentin; Lange, Martin |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9781107028364 |
| Rok vydání: | 2016 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 752 |
Mohlo by se vám také líbit..
-
Korean History in Maps
Injae, Lee; Miller, Owen (School of Oriental and African Studies, University of London); Jinhoon, Park; Hyun-Hae, Yi
-
The Courts of the Deccan Sultanates
Flatt, Emma J. (University of North Carolina, Chapel Hill)
-
A World at Arms
Gerhard L. Weinberg
-
Res Gestae Divi Augusti
Augustus; Cooley, Alison E. (University of Warwick)
-
Learning Latin the Ancient Way
Dickey, Eleanor (University of Reading)
-
Africa since 1940
Cooper, Frederick
-
The Cambridge History of Japan
-
War Against Smallpox
MICHAEL BENNETT
-
Gods and Humans in Medieval Scandinavia
Wellendorf, Jonas (University of California, Berkeley)
-
Taming Babel
Leow, Rachel (University of Cambridge)
-
Psycho-nationalism
Adib-Moghaddam, Arshin (School of Oriental and African Studies, University of London)
-
A History of Saudi Arabia
Madawi Al-Rasheed
-
Shaping the Archive in Late Medieval...
Novacich, Sarah
-
Freedom and the Construction of Europe
-
The Rights of the Roma
Donert, Celia (University of Liverpool)
-
The People's Republic of China (...
Todd, Allan