Mathematical Methods in Program Development /

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in m...

Full description

Bibliographic Details

Main Author:	Broy, Manfred
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schieder, Birgit
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Series:	NATO ASI series. Computer and systems sciences ; 158.
Subjects:	Computer science. Software engineering. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book