The Imperative Future
Subtitle: Principles of Executable Temporal Logic (Advanced Software Development Series)
Publisher: Research Studies Pr
Published: May 1996
Language: eng
Format: Hardcover
Number of pages: 256
ISBN-13: 9780863801907
Subjects: Computers; Computer Books: General; Artificial intelligence; Computer architecture & logic design; Programming languages; Programming - Software Development