Mathematical Methods in Program Development
by Manfred Broy
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
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.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Mathematical Methods in Program Development
Oct 22, 2011, Springer
paperback
3642608590 9783642608599
|
zzzz
Libraries near you:
WorldCat
|
2
Mathematical Methods in Program Development
Oct 06, 2011, Springer, Springer-Verlag
paperback
3642645887 9783642645884
|
zzzz
Libraries near you:
WorldCat
|
3
Mathematical Methods in Program Development
1997, Springer Berlin Heidelberg
electronic resource /
in English
3642608582 9783642608582
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| August 3, 2020 | Edited by ImportBot | import existing book |
| July 5, 2019 | Created by MARC Bot | import new book |