Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Program Development by Refinement

Case Studies Using the B Method

Language EnglishEnglish
Book Paperback
Book Program Development by Refinement Emil Sekerinski
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
? points 487 b
201.27 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Eisblume Heinz-Peter Engertsberger / Book Paperback
common.buy 11.73 €
Il Calice del Maestro di Zecca CARLO MAZZARINI / Book Paperback
common.buy 20.33 €
FRANKESTEIN O EL MODERNO PROMETEO SHELLY / Book Book
common.buy 16.79 €
Handbuch des Roemischen Privatrechts Christian Baldus / Book Hardback
common.buy 623.88 €
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Book Paperback
common.buy 6.77 €
S.O.S. dent perdue ! Pascal Prevot / Book Hardback
common.buy 10.51 €
Top
El último caso de William Parker Alexandre Escrivà / Book Paperback
common.buy 13.04 €
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Book Paperback
common.buy 18.31 €
LE PROPHETE ARABE/FRANCAIS KHALIL / Book Paperback
common.buy 13.55 €
En finir avec le couple Stéphane Rose / Book Paperback
common.buy 20.53 €
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Book Paperback
common.buy 22.35 €
Entwicklung effektiver Markennamen Robin Ebinger / Book Paperback
common.buy 42.90 €
Kultureller Verlust Arnold Groh / Book Paperback
common.buy 33.99 €
Apotheoses Et Imprecations PYTHAGORE / Book Paperback
common.buy 14.56 €
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Book Paperback
common.buy 7.18 €
Sword Art Online - Progressive 04 Reki Kawahara / Book Paperback
common.buy 7.78 €
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Book Paperback
common.buy 77.10 €
NSU Udo Schulze / Book Paperback
common.buy 12.64 €
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 / Book Paperback
common.buy 18.10 €
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Book Paperback
common.buy 14.36 €
Contabilidad social y medioambiental ANTONIO SOMOZA / Book Paperback
common.buy 22.66 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Program Development by Refinement
Author Emil Sekerinski, Kaisa Sere
Language English
Binding Book - Paperback
Date of issue 1998
Number of pages 364
EAN 9781852330538
ISBN 1852330538
Libristo code 01435128
Publishers Springer London Ltd
Weight 1130
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Book Paperback
common.buy 15.17 €
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Book Paperback
common.buy 68.50 €
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Book Paperback
common.buy 24.18 €
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Book Paperback
common.buy 14.87 €
The Great Physicists From Galileo To Einstein George Gamow / Book Paperback
common.buy 36.42 €
The Prince And The Pauper Part 1 Mark Twain / Book Paperback
common.buy 8.59 €
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Book Paperback
common.buy 8.39 €
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Book Paperback
common.buy 27.11 €
East Windsor Ceil Donahue / Book Hardback
common.buy 24.58 €
Archaeological Evolution Stanley South / Book Paperback
common.buy 114.55 €
Making Spaces Safer Shawna Potter / Book Paperback
common.buy 14.36 €
Neural Network Projects with Python James Loy / Book Paperback
common.buy 44.92 €
An Account Of The Harvard Greek Play (1881) Henry Norman / Book Paperback
common.buy 24.08 €
Maria Llovet's Eros/Psyche Llovet / Book Hardback
common.buy 22.86 €
Bake Paul Hollywood / Book Hardback
common.buy 27.52 €
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Book Hardback
common.buy 23.37 €
Affordable
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Book Hardback
common.buy 35.41 €
Stop Them Dead Peter James / Book Paperback
common.buy 12.23 €
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Book Hardback
common.buy 236.59 €
Progressive Censoring Rita Aggarwala / Book Hardback
common.buy 185.49 €
Coming soon
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Book Hardback
common.buy 183.36 €
Routledge Handbook of Euroscepticism Nicholas Startin / Book Hardback
common.buy 318.16 €
Thus Spoke Zarathustra Friedrich Wilhelm Nietzsche / Book Paperback
common.buy 20.03 €
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Book Hardback
common.buy 114.55 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?