|
Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics (Hardcover, 2013 ed.)
Loot Price: R1,408
Discovery Miles 14 080
|
|
|
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics (Hardcover, 2013 ed.)
Series: Atlantis Studies in Computing, 3
Expected to ship within 18 - 22 working days
|
In this monograph we introduce and examine four new temporal logic
formalisms that can be used as specification languages for the
automated verification of the reliability of hardware and software
designs with respect to a desired behavior. The work is organized
in two parts. In the first part two logics for computations, the
graded computation tree logic and the computation tree logic with
minimal model quantifiers are discussed. These have proved to be
useful in describing correct executions of monolithic closed
systems. The second part focuses on logics for strategies, strategy
logic and memoryful alternating-time temporal logic, which have
been successfully applied to formalize several properties of
interactive plays in multi-entities systems modeled as multi-agent
games.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
