Programming and Mathematical Method : International Summer School /

The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of producing it remains manageable and reliable. Mathematical methods, including logic, algebra and functional calculus, are needed to support struct...

Full description

Bibliographic Details

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