Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Logics in Computer Science Fabio Mogavero

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Autor: Fabio Mogavero
Język: Angielski
Oprawa: Miękka
Wydawca: Atlantis Press (Zeger Karssen)
Dostępność: Na zamówienie
Wysyłamy za 17-27 dni
237.73 zł
In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp...

Informacje o książce

Autor
Fabio Mogavero
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2015
strony
149
EAN
9789462390560
ISBN
9789462390560
Enbook ID
09880118
Wydawca
Atlantis Press (Zeger Karssen)
Waga
2642
Wymiary
155 x 235 x 10

Pełny opis

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.

Możesz być zainteresowany

Modern Manners

Dorothea Johnson
64.93 zł

Fascist Italy and Nazi Germany

Richard Bessel
307.73 zł

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

Sophia Tandy
98.91 zł

Transition Towards Post-Deng China

Xiaobo Hu
126.55 zł

Mom Spilled the Pickles

Cynthia L Martin
46.53 zł

Veiled Intent

Natasha Duquette
182.63 zł

Africa and Its Inhabitants

Élisée Reclus
135.61 zł

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

Mike Finley
79.34 zł

Do Monsters Wear Undies?

Mark Smith
42.44 zł

Life as a Medium: Gift or Curse

Barbara Chamberlain
49.93 zł

It Is Always the Bad Guys

William J Crumley Csc
31.44 zł

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

James S Harvey
53.54 zł

Klienci, którzy kupili tę książkę, kupili również

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

Joanna Flis
44.68 zł

Podvečer v Saigone

Jaro Vlnka
25.11 zł

Puritanische versus moderne Sexualität

Oliver Baum
66.58 zł