Program Development by Refinement

Name: Program Development by Refinement
SKU: 2840802
Price: 567.00 NZD
Availability: InStock

Case Studies Using the B Method

Format:

Paperback / softback

Series:

Formal Approaches to Computing and Information Technology (FACIT)

Show Hide Adult Content

$567.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $141.75 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

Around 26 Jun - 8 Jul using International Courier

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.

Release date NZ

October 23rd, 1998

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Contributors

Edited by Emil Sekerinski
Edited by Kaisa Sere

Illustrations

XXIV, 364 p.

Pages

364

Series

Formal Approaches to Computing and Information Technology (FACIT)

Dimensions

155x235x19

ISBN-13

9781852330538

Product ID

2840802

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

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Program Development by Refinement

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*