| Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings 1989 Edition Contributor(s): Banieqbal, Behnam (Editor), Barringer, Howard (Editor), Pnueli, Amir (Editor) |
|
 |
ISBN: 3540518037 ISBN-13: 9783540518037 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: October 1989 |
| Additional Information |
| BISAC Categories: - Computers | Logic Design - Computers | Software Development & Engineering - General - Computers | Computer Science |
| Dewey: 005.1 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.93" H x 6.14" W x 9.21" (1.41 lbs) 452 pages |