Logics in Computer Science

Name: Logics in Computer Science
Brand: Atlantis Press (Zeger Karssen)
SKU: 9789462390560
Price: 56.19 EUR
Availability: InStock

A Study on Extensions of Temporal and Strategic Logics

Autor: Fabio Mogavero

Jazyk:

Väzba: Brožovaná

Vydavateľ: Atlantis Press (Zeger Karssen)

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

56.19 €

In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp...

Informácie o knihe

Autor

Fabio Mogavero

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2015

Stránok

149

EAN

9789462390560

ISBN

9789462390560

Enbook ID

09880118

Vydavateľ

Atlantis Press (Zeger Karssen)

Hmotnosť

2642

Rozmery

155 x 235 x 10

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Modern Manners

Fascist Italy and Nazi Germany

Aunt Margery's Maxims: Work, Watch, Wait (1885)

Transition Towards Post-Deng China

Mom Spilled the Pickles

Veiled Intent

Africa and Its Inhabitants

Financial Happine$$: Discover what a pink wig, and a "crazy" way of thinking can do to change the course of your life, FOREVER!

Do Monsters Wear Undies?

Life as a Medium: Gift or Curse

It Is Always the Bad Guys

Learn Malaysian by Association - Lingo Links: The Easy Playful Way to Learn a New Language.

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Gry rodzinne. Jak myślenie systemowe może uratować ciebie, twoją rodzinę i świat

Podvečer v Saigone

Puritanische versus moderne Sexualität