Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Temporal Logic of Programs
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Monographs in Theoretical Computer Science. An EATCS Series
Temporal Logic of Programs
Fred Kröger
Computers / Computer Science
| Publication Date: | 17 November 2011 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783642715518 |
| Format: | Paperback / softback |
| Page Count: | 148 |