The Imperative Future Principles of Executable Temporal Logic
Subtitle: Principles of Executable Temporal Logic (Advanced Software Development Series)
Contributors: Howard Barringer (Editor); Michael Fisher (Editor); Dov Gabbay (Editor); Richard Owens (Editor); Mark Reynolds (Editor)
Publisher: John Wiley & Sons; Research Studie
Published: July 1996
Language: eng
Format: Paperback
Number of pages: 256
ISBN-13: 9780471961307
Subjects: Computers - Languages / Programming; Logic, Symbolic and mathematical; Computer software; Computer Logic; Software Development; Programming Languages - General; Computers; Logic Design; Computer Books: General; Development; Programming - Software Development; Programming languages (Electronic computers)