5
1
9781852330538
Program Development by Refinement: Case Studies Using the B Method / Edition 1 available in Paperback
Program Development by Refinement: Case Studies Using the B Method / Edition 1
- ISBN-10:
- 1852330538
- ISBN-13:
- 9781852330538
- Pub. Date:
- 11/25/1998
- Publisher:
- Springer London
- ISBN-10:
- 1852330538
- ISBN-13:
- 9781852330538
- Pub. Date:
- 11/25/1998
- Publisher:
- Springer London
219.99
In Stock
Product Details
ISBN-13: | 9781852330538 |
---|---|
Publisher: | Springer London |
Publication date: | 11/25/1998 |
Series: | Formal Approaches to Computing and Information Technology (FACIT) |
Edition description: | 1999 |
Pages: | 364 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.36(d) |
From the B&N Reads Blog