Stock image for illustration purposes only - book cover, edition or condition may vary.
Mathematical Methods in Program Development
. Ed(S): Broy, Manfred; Schieder, Birgit
€ 124.27
FREE Delivery in Ireland
Description for Mathematical Methods in Program Development
paperback. Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996 Editor(s): Broy, Manfred; Schieder, Birgit. Series: NATO ASI Subseries F. Num Pages: 528 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 825.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Number of pages
528
Condition
New
Series
NATO ASI Subseries F
Number of Pages
528
Place of Publication
Berlin, Germany
ISBN
9783642645884
SKU
V9783642645884
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Mathematical Methods in Program Development