Springer
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings
Product Code:
9783540518037
ISBN13:
9783540518037
Condition:
New
$61.47
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings
$61.47
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings
| Author: Behnam Banieqbal |
| Publisher: Springer |
| Publication Date: Oct 11, 1989 |
| Number of Pages: 452 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540518037 |
| ISBN-13: 9783540518037 |