Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Logics in Computer Science Fabio Mogavero

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Szerző: Fabio Mogavero
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Atlantis Press (Zeger Karssen)
Elérhetőség: Kiadói készleten rendelésre
Küldés 17-27 napon belül
19 887 Ft
In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp...

Információk a könyvről

Szerző
Fabio Mogavero
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2015
oldal
149
EAN
9789462390560
ISBN
9789462390560
Enbook ID
09880118
Kiadó
Atlantis Press (Zeger Karssen)
Súly
2642
Méretek
155 x 235 x 10

Teljes leírás

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.

Érdekelheti

Modern Manners

Dorothea Johnson
5 972 Ft

Fascist Italy and Nazi Germany

Richard Bessel
27 652 Ft

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

Sophia Tandy
8 913 Ft

Transition Towards Post-Deng China

Xiaobo Hu
11 361 Ft

Mom Spilled the Pickles

Cynthia L Martin
4 192 Ft

Veiled Intent

Natasha Duquette
16 817 Ft

Africa and Its Inhabitants

Élisée Reclus
12 409 Ft

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
7 196 Ft

Do Monsters Wear Undies?

Mark Smith
3 838 Ft

Life as a Medium: Gift or Curse

Barbara Chamberlain
4 519 Ft

It Is Always the Bad Guys

William J Crumley Csc
2 842 Ft

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

James S Harvey
4 833 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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

Joanna Flis
4 761 Ft

Podvečer v Saigone

Jaro Vlnka
2 103 Ft

Puritanische versus moderne Sexualität

Oliver Baum
6 084 Ft