0
Your cart

Your cart is empty

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,521
Discovery Miles 15 210
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics (Hardcover, 2013 ed.): Fabio Mogavero

Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics (Hardcover, 2013 ed.)

Fabio Mogavero

Series: Atlantis Studies in Computing, 3

 (sign in to rate)
Loot Price R1,521 Discovery Miles 15 210 | Repayment Terms: R143 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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

Imprint: Atlantis Press (Zeger Karssen)
Country of origin: Netherlands
Series: Atlantis Studies in Computing, 3
Release date: August 2013
First published: 2013
Authors: Fabio Mogavero
Dimensions: 235 x 155 x 15mm (L x W x T)
Format: Hardcover
Pages: 149
Edition: 2013 ed.
ISBN-13: 978-9491216947
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 9491216945
Barcode: 9789491216947

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..

Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,238 Discovery Miles 22 380
Data-Driven Modeling & Scientific…
J. Nathan Kutz Hardcover R4,270 Discovery Miles 42 700
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,733 Discovery Miles 37 330
The Application of Ant Colony…
Ali Soofastaei Hardcover R2,765 Discovery Miles 27 650
Gamma Solution - An Application of…
James R Warren Hardcover R1,338 R1,131 Discovery Miles 11 310
MATLAB Applications in Engineering
Constantin Volosencu Hardcover R3,310 Discovery Miles 33 100
Coding for Kids in Python - Python…
Bob Mather Hardcover R917 Discovery Miles 9 170
Algorithms Illuminated - Omnibus Edition
Tim Roughgarden Hardcover R1,555 Discovery Miles 15 550
Python Programming for Computations…
Computer Language Hardcover R1,216 R1,024 Discovery Miles 10 240
C Programming - C Programming Language…
Adam Dodson Hardcover R598 R542 Discovery Miles 5 420
Genetic Algorithms with Python
Clinton Sheppard Hardcover R875 R827 Discovery Miles 8 270
Innovative Research and Applications in…
Qusay F. Hassan Hardcover R5,597 Discovery Miles 55 970

See more

Partners