Now showing items 1-10 of 100
Integrating structured OO approaches with formal techniques for the development of real-time systems
The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ...
Liberal directions : Basil Dearden and postwar British film culture.
(Flicks Books, 1997)
Key concepts in communication and cultural studies.
The media studies reader.
Television memories and cultures of viewing, 1950-65.
(BFI Publishing, 1991)
It ain't what you do, its the way that you do it.
(North Holland, 1990)
Engineering design : beyond competence.
(Manchester University Press, 1993)
Turbulence, training and telematics.