The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series) - Softcover

 
9780471961307: The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series)
Softcover
ISBN 10: 0471961302 ISBN 13: 9780471961307
Publisher: John Wiley & Sons Inc, 1996

This specific ISBN edition is currently not available.

Synopsis

A presentation of the underlying principles and applications of executable temporal logic describing research on its use as a programming language. Eight computer scientists outline the "imperative future" approach, showing how a range of dynamic behaviors can be represented within METATEM as a powerful tool for researchers involved with time-dependent phenomena in computer science and artificial intelligence. Includes equations and code. Annotation c. by Book News, Inc., Portland, Or.

"synopsis" may belong to another edition of this title.

Publisher
John Wiley & Sons Inc
Publication date
1996
Language
English
ISBN 10 
0471961302
ISBN 13 
9780471961307
Binding
Paperback
Number of pages
239
Editor
Barringer Howard, Fisher Michael, Gabbay Dov, Owens Richard, Reynolds Mark

Other Popular Editions of the Same Title

9780863801907: The Imperative Future – Principles of Executable Temporal Logic: No 4 (Advanced software development series)

Featured Edition

ISBN 10:  0863801900 ISBN 13:  9780863801907
Publisher: Wiley–Blackwell, 1996
Hardcover