Verifying Concurrent Processes Using Temporal Logic

Author	: B. T. Hailpern
Publisher	: Springer Science & Business Media
Total Pages	: 220
Release	: 1982-03
ISBN-10	: 3540112057
ISBN-13	: 9783540112051
Rating	: 4/5 (57 Downloads)

DOWNLOAD EBOOK

Book Synopsis Verifying Concurrent Processes Using Temporal Logic by : B. T. Hailpern

Download or read book Verifying Concurrent Processes Using Temporal Logic written by B. T. Hailpern and published by Springer Science & Business Media. This book was released on 1982-03 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Verifying Concurrent Processes Using Temporal Logic Related Books

Language: en
Pages: 220

Verifying Concurrent Processes Using Temporal Logic

Authors: B. T. Hailpern

Categories: Computers

Type: BOOK - Published: 1982-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Language: en
Pages: 446

Verifying Concurrent Processes Using Temporal Logic

Authors: Brent Tzion Hailpern

Categories: Computer networks

Type: BOOK - Published: 1980 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 208

Verifying Concurrent Processes Using Temporal Logic

Authors: Brent Tzion Hailpern

Categories: Artificial intelligence

Type: BOOK - Published: 1982 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 458

Temporal Logic in Specification

Authors: Behnam Banieqbal

Categories: Computers

Type: BOOK - Published: 1989-10-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Self-concept and coping behaviour are important aspects of development in adolescence. Despite their developmental significance, however, the two areas have rar

Language: en
Pages: 525

Temporal Verification of Reactive Systems

Authors: Zohar Manna

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to