Temporal Logic of Programs
Publisher: Springer
Published: 2011
Language: eng
Number of pages: 148
ISBN-13: 9783642715518
Subjects: Computer programming; Logic, symbolic and mathematical