Mathematical Methods in Program Development (Paperback, Softcover reprint of the original 1st ed. 1997)

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 mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	NATO ASI Subseries F:, 158
Release date:	October 2011
First published:	1997
Editors:	Manfred Broy • Birgit Schieder
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Paperback
Pages:	528
Edition:	Softcover reprint of the original 1st ed. 1997
ISBN-13:	978-3-642-64588-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-642-64588-7
Barcode:	9783642645884

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!