Code: 04527497
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters conti ... more
English
You get 759 loyalty points
Book synopsis
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
312.98 €
English
Collection points Bratislava a 12825 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25654 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )