Temporal Logic of Programs

Author: Fred Kröger
Publisher: Springer
Language: English
Year: 1987
Page: 158
ISBN: 0387170308,9780387170305
File Type: djvu
File Size: 1.1 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book