Image from Amazon.com
Automatic verification methods for finite state systems International Workshop, Grenoble, France, June 12-14, 1989, proceedings J.Sifakis (ed.)
Series: Lecture notes in computer science ; 407Publication details: Berlin Springer-Verlag 1990Description: 382 p. : ill. ; 25 cmISBN:- 3540521488
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN LINGKUNGAN KEDUA | PERPUSTAKAAN LINGKUNGAN KEDUA PILIH SIMPAN-P. LINGKUNGAN KEDUA | - | TK5105.5.A97 3 (00006004259) (Browse shelf(Opens below)) | 1 | Available | 00000314827 |
Includes bibliographical references
1
There are no comments on this title.
Log in to your account to post a comment.