Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Program Development by Refinement

Name: Program Development by Refinement
Brand: Springer London Ltd
SKU: 01435128
Price: 198.89 EUR
Availability: InStock
Author: Emil Sekerinski
ISBN: 9781852330538

Case Studies Using the B Method

Emil Sekerinski

Kaisa Sere

Language

English

Book Paperback

Libristo code: 01435128

Publishers Springer London Ltd, October 1998

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

Libristo code: 01435128

487 b

198.89 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

FRANKESTEIN O EL MODERNO PROMETEO SHELLY

Book

16.59 €

Contabilidad social y medioambiental ANTONIO SOMOZA

Paperback

22.39 €

Il Calice del Maestro di Zecca CARLO MAZZARINI

Paperback

19.59 €

El último caso de William Parker Alexandre Escrivà

Paperback

12.79 €

Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont

Paperback

13.49 €

La gran mentira de la economía : y por qué el futuro será mejor que el pasado a pesar de todo Gonzalo Bernardos Domínguez

Paperback

17.79 €

NSU Udo Schulze

Paperback

14.80 €

Aurelia wird eine große Schwester! Mouchi Blaise Ahua

Paperback

6.69 €

S.O.S. dent perdue ! Pascal Prevot

Hardback

8.49 €

Eisblume Heinz-Peter Engertsberger

Paperback

12.90 €

Dialoghi con Leucò Cesare Pavese

Paperback

14.79 €

Handbuch des Roemischen Privatrechts Christian Baldus

Hardback

629.00 €

Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer

Paperback

24.90 €

LE PROPHETE ARABE/FRANCAIS KHALIL

Paperback

11.29 €

En finir avec le couple Stéphane Rose

Paperback

17.49 €

Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández

Paperback

17.99 €

Entwicklung effektiver Markennamen Robin Ebinger

Paperback

48.00 €

Kultureller Verlust Arnold Groh

Paperback

38.00 €

Apotheoses Et Imprecations PYTHAGORE

Paperback

14.09 €

171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth

Paperback

6.89 €

Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner

Paperback

79.99 €

Sword Art Online - Progressive 04 Reki Kawahara

Paperback

7.69 €

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.