Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Logics in Computer Science - a book by Mogavero, Fabio

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science( )
Author: Mogavero, Fabio
Series title:Atlantis Studies in Computing Ser.
ISBN:978-94-91216-94-7
Publication Date:Aug 2013
Publisher:Atlantis Press (Zeger Karssen)
Book Format:Hardback
List Price:USD $109.00
Book Description:

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

Book Details
Pages:149
Detailed Subjects: Computers / Logic Design
Computers / Computer Science
Physical Dimensions (W X L X H):6.045 x 9.165 Inches
Book Weight:0.926 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

When the Music's Over
Robinson, Peter
Hardback: $25.99
Dog Man
Pilkey, Dav
Hardback: $9.99
The Burning Edge
Mofina, Rick
Electronic book text:

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.