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.
Sort options: binding | publication date | edition
Hardcover
Book cover for 9783540170303
 
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.