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;