DaftarIsitemplate |
Call Number |
004.33 Old r |
Title |
Real-time systems: formal specification and automatic verification |
Author |
Olderog, E.R; |
Publisher |
Camridge, UK : New York : Camridge University Press, 2008 |
Subject |
Real-time data processing |
Location |
FASILKOM-UI; |