Temporal Logic for Real-Time Systems [co
β J. Ostroff
π Library
π
1989
π Wiley
π English
β¦ LIBER β¦
π
Temporal Logic of Programs [comp sci]
β Scribed by W. Brauer, et al.
- Publisher
- Springer
- Year
- 1985
- Tongue
- English
- Leaves
- 158
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Temporal Logic of Programs
β Fred KrΓΆger
π Library
π
1987
π Springer
π English
Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the lo
Temporal Logic of Programs
β Fred KrΓΆger
π Library
π
1987
π Springer
π English
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of t
Executing Temporal Logic Programs
β Ben C. Moszkowski
π Library
π
1986
π Cambridge University Press
π English
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of direct
Programmable Logic Controllers Programmi
β John R. Hackworth, Frederick D. Hackworth
π Library
π
2003
π Prentice Hall
π English
This book is designed to help readers develop a good general working knowledge of programmable controllers with concentration on relay ladder logic techniques and how PLC is connected to external components in an operating control system. The book uses real world programming problems that readers ca
Handbook of Logic in Artificial Intellig
β Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
π Library
π
1995
π Clarendon Press
π English
The dramatic increase in research in recent years shows that logic is now widely recognized as one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intellige