Bøger af Stephan Merz
Filter
Sorter efterSorter
Populære
-
580,95 kr. - Bog
- 580,95 kr.
-
861,95 - 899,95 kr. Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;
- Bog
- 861,95 kr.