Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Graded Computation Tree Logic.- Minimal Model Quantifiers.- Reasoning About Strategies.- Relentful Strategic Reasoning.- Appendix A Mathematical Notation.
Product Description
Book by Mogavero Fabio
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Logics in Computer Science: A Study on Extensions of...
Foto dell'editore
Logics in Computer Science (Atlantis Studies in Computing, 3)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Apr0412070063553
Compra nuovo
EUR 52,77
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 19585300-n
Compra nuovo
EUR 53,96
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 19585300
Compra usato
EUR 61,43
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logics in Computer Science (Atlantis Studies in Computing, 3)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9789491216947_new
Compra nuovo
EUR 57,30
Spese di spedizione:
EUR 13,57
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 19585300-n
Compra nuovo
EUR 57,29
Spese di spedizione:
EUR 16,99
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logics in Computer Science
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 168 pp. Englisch. Codice articolo 9789491216947
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logics in Computer Science
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 168. Codice articolo 26142327765
Compra nuovo
EUR 75,50
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logics in Computer Science
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400. . 2013. 2013th Edition. Hardcover. . . . . Codice articolo V9789491216947
Compra nuovo
EUR 68,60
Spese di spedizione:
EUR 10,50
Da: Irlanda a: U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 19585300
Compra usato
EUR 65,04
Spese di spedizione:
EUR 16,99
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logics in Computer Science
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 168 13 Illus. Codice articolo 135004170
Compra nuovo
EUR 78,72
Spese di spedizione:
EUR 7,36
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili