Formal Methods in Systems Engineering /

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctn...

Full description

Bibliographic Details

Main Author:	Ryan, Peter
Corporate Author:	SpringerLink (Online service)
Other Authors:	Sennett, C. T.
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Subjects:	Computer science. Computer network architectures. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book