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,597
Discovery Miles 15 970
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,597 Discovery Miles 15 970 | Repayment Terms: R150 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,373 Discovery Miles 23 730
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,961 Discovery Miles 39 610
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,961 Discovery Miles 39 610
The Application of Ant Colony…
Ali Soofastaei Hardcover R2,906 Discovery Miles 29 060
Algorithms in Bioinformatics - Theory…
PA Gagniuc Hardcover R3,608 Discovery Miles 36 080
Gamma Solution - An Application of…
James R Warren Hardcover R1,408 R1,186 Discovery Miles 11 860
MATLAB Applications in Engineering
Constantin Volosencu Hardcover R3,480 Discovery Miles 34 800
Coding for Kids in Python - Python…
Bob Mather Hardcover R961 Discovery Miles 9 610
Python Programming for Computations…
Computer Language Hardcover R1,280 R1,073 Discovery Miles 10 730
C Programming - C Programming Language…
Adam Dodson Hardcover R630 R566 Discovery Miles 5 660
Algorithms Illuminated - Omnibus Edition
Tim Roughgarden Hardcover R1,647 Discovery Miles 16 470
Genetic Algorithms with Python
Clinton Sheppard Hardcover R929 R874 Discovery Miles 8 740

See more

Partners