Classification | 005.2 |
Title | TEMPORAL VERIFICATION OF REACTIVE SYSTEMS |
Edition | |
Call Number | 005.2 Man t. MUGAS |
ISBN/ISSN | |
Author(s) | Manna,Zohar |
Subject(s) | |
Series Title | GMD | Buku |
Language | Indonesia |
Publisher | Spinger-Verlog |
Publishing Year | 1995 |
Publishing Place | |
Collation | 512 |
Abstract/Notes | |
Specific Detail Info | |
Image | |
File Attachment | LOADING LIST... |
Availability | LOADING LIST... |
Back To Previous |