Image from Amazon.com
Temporal logic in specification Altrincham, UK, April 8-10, 1987 proceediings B. Banieqbal, H. Barringe A. Pnueli
Series: Lectures notes in computer science ; 398Publication details: Berlin Springer-Verlag 1989Description: 468 p. : ill. ; 24 cmISBN:- 0387518037
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.9.S88T42 (Browse shelf(Opens below)) | 1 | Available | 00000271278 |
Includes bibliographical references
1
There are no comments on this title.
Log in to your account to post a comment.