Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
Behnam Banieqbal | Howard Barringer | Amir Pnueli
Computers / Programming / Compilers
| Publication Date: | 11 October 1989 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540518037 |
| Format: | Paperback softback |
| Page Count: | 452 |