Program Development By Refinement: Case Studies Using The B Method - Language Learning Software

We're proud to showcase Program Development by Refinement: Case Studies Using the B Method here at Languagelearningsoftware. The actual price for Program Development by Refinement: Case Studies Using the B Method may be lower than presented here, so click on the link above to find out the real-time price of Program Development. Also don't forget to take any advantage of possible discount Program Development by Refinement: Case Studies Using the B Method coupons, promo codes, and special bargains at the Buy.cm Usa coupon code & promos section. Finding you a cheap Program Developmant By Refinemant: Case Studies Using The B Method price is our mission!

Program Development Full Description

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement. Free Shipping.

Category:	Computer Programming Language Learning
Brand:	Springer-Verlag
Manufacturer Part #:	1852330538
UPC:	09781852330538

Products Related to Program Development

A Sample of Other Products

Language Learning Software