search for books and compare prices
The Temporal Logic of Programs
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from Gardners Books (December 31, 1987)
9783540170303 | details & prices | 148 pages | List price $111.15
About: Introduction to the temporal logic of - in particular paral- lel - programs.
About: Introduction to the temporal logic of - in particular paral- lel - programs.