Trending Bestseller

Mathematical Methods in Program Development

No reviews yet Write a Review
Paperback / softback
06 October 2011
$226.80
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
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.

You Can Find This Title In

    Product Details
    ISBN-13
    9783642645884
    Author
    Manfred Broy
    Publisher
    Springer Nature B.V.
    Published
    06 October 2011
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    $226.80
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Mathematical Methods in Program Development

    $226.80

    Description

    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.

    You Can Find This Title In

      This Title Is Categorised As