Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)

By Fred Kroger

No Synopsis Available.

• Format: Hardcover
• Language: English
• ISBN: 0387170308
• ISBN13: 9780387170305
• Release Date: January 1987
• Publisher: Springer Verlag
• Length: 148 Pages
• Weight: 1.74 lbs.