30% OFF

Logics In Computer Science

A Study On Extensions Of Temporal And Strategic Logics

by Fabio Mogavero
language: english
Publisher: Atlantis Press (Zeger Karssen), August of 2015 ‧
60,82€
42,57€
30% OFF
free shipping
Sell ​​your book
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.

Logics In Computer Science

A Study On Extensions Of Temporal And Strategic Logics

by Fabio Mogavero

Property Description
ISBN: 9789462390560
Publisher: Atlantis Press (Zeger Karssen)
Release Date: August of 2015
Language: English
Dimensions: 155 x 235 x 9 mm
Cover: Softcover
Pages: 149
Format: Book
Collection: Atlantis Studies In Computing
Categories: Books in English > Computing > Schedule
EAN: 9789462390560