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 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 su…
Mehr
CHF 153.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Schieder, Birgit (Hrsg.)
- ISBN: 978-3-642-60858-2
- EAN: 9783642608582
- Produktnummer: 37247709
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 528 S.
- Plattform: PDF
- Auflage: 1997
- Reihenbandnummer: 158
50 weitere Werke von Manfred (Hrsg.) Broy:
Bewertungen
Anmelden