Introduction to the formal design of real time systems

Meer over het boek

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.