Related Books
Language: en
Pages: 96
Pages: 96
Type: BOOK - Published: 1985 - Publisher:
Language: en
Pages: 148
Pages: 148
Type: BOOK - Published: 1986-03-06 - Publisher: CUP Archive
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits
Language: en
Pages: 96
Pages: 96
Type: BOOK - Published: 1985 - Publisher:
Language: en
Pages: 150
Pages: 150
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language
Language: en
Pages: 368
Pages: 368
Type: BOOK - Published: 2011-03-16 - Publisher: John Wiley & Sons
The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple