Mathematical Methods in Program Development Image close
Mathematical Methods in Program Development
Mathematical Methods in Program Development
Show Hide Adult Content
Mathematical Methods in Program Development close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Mathematical Methods in Program Development

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$299.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $74.75 with Afterpay Learn more

6 weekly interest-free payments of $49.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more NATO ASI Subseries F:

See all products in this series

Neurocomputing
$299.00
Neurocomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Systems: Safety, Reliability and Maintainability Issues on Hardback
$314.00
Intelligent Systems: Safety, Reliability and Maintainability Issues
Hardback
Available - Usually ships in 3-4 weeks
Workflow Management Systems and Interoperability on Hardback
$303.00
Workflow Management Systems and Interoperability
Hardback
Available - Usually ships in 3-4 weeks
Interactive Multimedia Learning Environments
$292.00
Interactive Multimedia Learning Environments
Paperback / softback
Available - Usually ships in 3-4 weeks
Shape in Picture on Hardback
$870.00
Shape in Picture
Hardback
Available - Usually ships in 3-4 weeks
Computer-Based Learning Environments and Problem Solving
$300.00
Computer-Based Learning Environments and Problem Solving
Paperback / softback
Available - Usually ships in 3-4 weeks
Sensor-Based Robots: Algorithms and Architectures
$293.00
Sensor-Based Robots: Algorithms and Architectures
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logic
$450.00
Computational Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Models of Speech Pattern Processing
$156.00
Computational Models of Speech Pattern Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel Computing on Distributed Memory Multiprocessors on Hardback
$296.00
Parallel Computing on Distributed Memory Multiprocessors
Hardback
Available - Usually ships in 3-4 weeks
Computational and Conversational Discourse on Hardback
$586.00
Computational and Conversational Discourse
Hardback
Available - Usually ships in 3-4 weeks
Simulation and Model-Based Methodologies: An Integrative View
$306.00
Simulation and Model-Based Methodologies: An Integrative View
Paperback / softback
Available - Usually ships in 3-4 weeks
Control Technology in Elementary Education on Hardback
$449.00
Control Technology in Elementary Education
Hardback
Available - Usually ships in 3-4 weeks
Mathematics and Computer Science in Medical Imaging
$302.00
Mathematics and Computer Science in Medical Imaging
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Speech Understanding and Dialog Systems
$301.00
Recent Advances in Speech Understanding and Dialog Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logic on Hardback
$453.00
Computational Logic
Hardback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
October 6th, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Birgit Schieder
  • Edited by Manfred Broy
Edition
Softcover reprint of the original 1st ed. 1997
Illustrations
X, 528 p.
Pages
528
Dimensions
156x234x28
ISBN-13
9783642645884
Product ID
20767818

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence