Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks.
By: Olderog, E.-R.
Contributor(s): Dierks, H.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
TUNGUU LENDING LIBRARY
Welcome to Tunguu Lending Library |
004.33 (Browse shelf) | Available | L000000011 |
INDEX
There are no comments for this item.