Program Development by Refinement

Name: Program Development by Refinement
Brand: Springer London Ltd
SKU: 9781852330538
Price: 75228 HUF
Availability: InStock

Case Studies Using the B Method

Szerző: Emil Sekerinski, Kaisa Sere

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer London Ltd

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

75 228 Ft

This volume contains a collection of case studies in program refinement with the B Method. They show...

Információk a könyvről

Szerző

Emil Sekerinski, Kaisa Sere

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1998

oldal

364

EAN

9781852330538

ISBN

1852330538

Enbook ID

01435128

Kiadó

Springer London Ltd

Súly

1130

Méretek

155 x 235 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Program Development by Refinement

Case Studies Using the B Method

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták