Produktnummer:
18f3d3fb93bd0e40178be25cecdcb1dd54
| Themengebiete: | Constraint logic programming S Software-Spezifikation Software-Verifikation Software Engineering Software specification Software verfication System engineering Systementwicklung Systemspezifikation |
|---|---|
| Veröffentlichungsdatum: | 06.10.2011 |
| EAN: | 9783642645884 |
| Sprache: | Englisch |
| Seitenzahl: | 528 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Broy, Manfred Schieder, Birgit |
| Verlag: | Springer Berlin |
Produktinformationen "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 support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen