Mathematical Methods in Program Development (1997) (NATO ASI Subseries F: #158)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 1997
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783642608582
- Related ISBNs:
- 9783540631958
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 06/30/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Manfred Broy
- Edited by:
- Birgit Schieder
Reviews
Other Books
- by Manfred Broy
- by Birgit Schieder
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy