Temporal Logic in Specification (Lecture Notes in Computer Science)
Contributors: Behnam Banieqbal (Editor); Howard Barringer (Editor); Amir Pnueli (Editor)
Publisher: Springer
Published: October 1, 2007
Language: eng
Format: Paperback
Number of pages: 460
ISBN-13: 9783540518037
Subjects: Programming languages; Computers - General Information; Programming - Software Development; Computer Science; Logic Design
First sentence: A Framework for Modal and Temporal Logics