Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - Books - Springer London Ltd - 9781852330538 - October 23, 1998
In case cover and title do not match, the title is correct

Kaisa Sere
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) 1999 edition

Price
NZ$ 353
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 22 - May 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

364 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 23, 1998
ISBN13 9781852330538
Publishers Springer London Ltd
Pages 364
Dimensions 155 × 235 × 19 mm   ·   530 g
Language English  
Editor Sekerinski, Emil
Editor Sere, Kaisa

See all of Kaisa Sere ( e.g. Paperback Book )