Program Development by Refinement

Name: Program Development by Refinement
Brand: Springer London Ltd
SKU: 9781852330538
Price: 195.2 EUR
Availability: InStock

Case Studies Using the B Method

Autor: Emil Sekerinski, Kaisa Sere

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer London Ltd

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

195.20 €

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

Informácie o knihe

Autor

Emil Sekerinski, Kaisa Sere

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1998

Stránok

364

EAN

9781852330538

ISBN

1852330538

Enbook ID

01435128

Vydavateľ

Springer London Ltd

Hmotnosť

1130

Rozmery

155 x 235 x 20

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Program Development by Refinement

Case Studies Using the B Method

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež