Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Temporal Logic And State Systems
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 Springer-Verlag New York Inc (May 4, 2008)
9783540674016 | details & prices | 433 pages | 6.25 × 9.25 × 1.00 in. | 1.95 lbs | List price $89.95
About: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems.
About: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems.