The Imperative Future – Principles of Executable Temporal Logic: No 4 (Advanced software development series) - Hardcover
Synopsis
Temporal logic is extensively used as a descriptive langugae for time-dependent phenomena both in computer science and artificial intelligence. It has had success in areas like program specification and verification, time-dependent databases and planning and scheduling. This books develops the imperative view of temporal logic allowing for its use as an executable language. It provides the foundations and tools for the imperative language METATEM and a variety of applications.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for The Imperative Future – Principles of Executable...
Seller Image
The Imperative Future Principles of Executable Temporal Logic
Seller: Walden Books, London, United Kingdom
Seller rating 4 out of 5 stars
Hardback. Condition: Very Good. Laminate paper boards rubbed w/ minute splitting on corners, prior price label on rear, superficial score-marks on front board; Pages clean, no ownership marks or annotation; Binding tight. ; Advanced Software Development Series; Vol. 4; 6.25 x 9.25"; 240 pages. Seller Inventory # 51989
Stock Image
The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)
Published by
Research Studies Pr Ltd 0, 1996
ISBN 10: 0863801900
ISBN 13: 9780863801907
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82908638019004
Buy Used
£ 236
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available