secondary-storefront-menu

header-component

container

footer-legal-menu

Terms of use

Privacy

products

mega-menu

Browse by Institution Type

Browse by Product Type

Products

Support

Marketing materials, training documents, discovery services

cengage:card

FIND YOUR SALES REPRESENTATIVE

cengage:column

Get marketing materials, training documents, discovery services.

PRODUCT SUPPORT

CUSTOMER SUPPORT

Report technical issues, errors, check system status

TECHNICAL SUPPORT

Manage product preferences, generate usage reports, simplify administrative tasks.

ADMIN TOOLS

support

zone2

secondary-account-menu

Profile

Orders

Wish List

Fast Order Entry

My Account

cengage:galethorndikeseo

zone3

zone1

footer-legal-menu-component

footer-social-menu

Sign Up for Emails

CONNECT WITH GALE

Stay up-to-date with the latest Gale news, exclusive offers, and more.

facebook

linkedin

instagram

youtube

SOCIAL ICONS

Account Information

bundle-connector

International

North America

China

Japan

Latin America

Brazil

Region

Set your region:

secondary-primary-menu

About Us

Blogs

Press Center

Events

News

Careers

Our Company

Request a Trial

footer-social-menu-component

single-column

gale-footer

Would you like to go to the Gale {{RECOMMENDED_COUNTRY}} site instead?

It looks like you're visiting from {{DETECTED_COUNTRY}}.

main

FIND YOUR REP

support-order-2

header

footer-menu-component

%1 products have been added to your cart but %2 have been backordered and will be fulfilled when stock is available

Product on backorder

Current quantity limit is [maxProductQuantity], please, navigate to the cart page and change quantity of product

You will be able to resubmit promo in ${countdown} seconds. test

Please note that the taxes displayed on our website are estimated and subject to adjustment. The actual tax charges will be determined and settled during the final invoicing of your order

product-detail-component

footer-menu

Academic Institutions

K-12

Public Libraries

Government and Special Libraries

Statewide Programs

Institutions

Databases

Primary Sources

Digital Humanities Tools

eLearning

Schools/K-12 Curriculum

Books

Large Print Books by Thorndike Press

Find Your Rep

Product Support

Technical Support

Customer Support

Admin Tools

Accessibility Policy

Partnerships

Contact Us

footer

You may already have access to Gale content through your institution.

STUDENTS AND RESEARCHERS

support-order-1

config

Information Technology

Computing & Information Technology

Gt Product Group

Binding Format

Marketing Imprint Name

B2B GT

CL Carton Count

Imprint Name

B2B & B2C

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.

Logics in Computer Science

POST SECONDARY FOUR YEAR

COLFR

COLSO

COLJR

COLSR

ASC: LOGICS IN COMPUTER SCIENCE

Duration

Duration Unit Of Measure

Transaction Type

Front Cover.
Other Frontmatter.
Other Frontmatter.
Title Page.
Copyright Page.
Dedication.
Foreword.
Preface.
Contents.
Abstract.
1: Logics for Computations.
2: Graded Computation Tree Logic.
3: Minimal Model Quantifiers.
4: Logics for Strategies.
5: Reasoning about Strategies.
6: Relentful Strategic Reasoning.
Appendix A: Mathematical Notation.
References.
Index.

Logics in Computer Science.css-1p8rvzy{position:absolute;padding-left:8px;}

Logics in Computer Science