Foundations of real-time computing : formal specifications and methods
edited by André M. van Tilborg, Gary M. Koob
Bok
·
Engelsk
·1991
Detaljer
Utgitt
Boston : Kluwer Academic , c1991
Omfang
ix, 316 s. : ill.
Opplysninger
"Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C." - Forordet.
