Logics in Computer Science

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

A Study on Extensions of Temporal and Strategic Logics

Autor: Fabio Mogavero

Jazyk:

Vazba: Brožovaná

Vydavatel: Atlantis Press (Zeger Karssen)

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 357 Kč

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

Informace o knize

Autor

Fabio Mogavero

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2015

Stránek

149

EAN

9789462390560

ISBN

9789462390560

Enbook ID

09880118

Vydavatel

Atlantis Press (Zeger Karssen)

Hmotnost

2642

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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

Podvečer v Saigone

Puritanische versus moderne Sexualität