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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 514 b
212.81 €
416.22  лв
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 12.43 € 24.31 лв
Il Calice del Maestro di Zecca CARLO MAZZARINI / Book Paperback
common.buy 20.41 € 39.92 лв
FRANKESTEIN O EL MODERNO PROMETEO SHELLY / Book Book
common.buy 19.12 € 37.39 лв
Handbuch des Roemischen Privatrechts Christian Baldus / Book Hardback
common.buy 657.61 € 1 286.18 лв
Affordable
Dialoghi con Leucò Cesare Pavese / Book Paperback
common.buy 15.02 € 29.38 лв
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Book Paperback
common.buy 7.09 € 13.87 лв
S.O.S. dent perdue ! Pascal Prevot / Book Hardback
common.buy 10.77 € 21.07 лв
El último caso de William Parker Alexandre Escrivà / Book Paperback
common.buy 13.78 € 26.95 лв
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Book Paperback
common.buy 21.24 € 41.54 лв
LE PROPHETE ARABE/FRANCAIS KHALIL / Book Paperback
common.buy 13.99 € 27.35 лв
En finir avec le couple Stéphane Rose / Book Paperback
common.buy 21.29 € 41.64 лв
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Book Paperback
common.buy 23.73 € 46.41 лв
Entwicklung effektiver Markennamen Robin Ebinger / Book Paperback
common.buy 45.44 € 88.87 лв
Kultureller Verlust Arnold Groh / Book Paperback
common.buy 36.01 € 70.43 лв
Apotheoses Et Imprecations PYTHAGORE / Book Paperback
common.buy 14.61 € 28.57 лв
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Book Paperback
common.buy 7.20 € 14.08 лв
Sword Art Online - Progressive 04 Reki Kawahara / Book Paperback
common.buy 8.18 € 16.00 лв
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Book Paperback
common.buy 81.35 € 159.10 лв
NSU Udo Schulze / Book Paperback
common.buy 13.42 € 26.24 лв
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 21.14 € 41.34 лв
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.40 € 28.16 лв
Contabilidad social y medioambiental ANTONIO SOMOZA / Book Paperback
common.buy 26.68 € 52.18 лв

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.23 € 29.79 лв
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Book Paperback
common.buy 72.64 € 142.08 лв
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Book Paperback
common.buy 25.64 € 50.16 лв
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Book Paperback
common.buy 14.87 € 29.08 лв
The Great Physicists From Galileo To Einstein George Gamow / Book Paperback
common.buy 36.42 € 71.24 лв
The Prince And The Pauper Part 1 Mark Twain / Book Paperback
common.buy 8.54 € 16.71 лв
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Book Paperback
common.buy 8.34 € 16.31 лв
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Book Paperback
common.buy 28.75 € 56.24 лв
East Windsor Ceil Donahue / Book Hardback
common.buy 24.61 € 48.13 лв
Archaeological Evolution Stanley South / Book Paperback
common.buy 108.76 € 212.72 лв
Making Spaces Safer Shawna Potter / Book Paperback
common.buy 15.18 € 29.68 лв
Neural Network Projects with Python James Loy / Book Paperback
common.buy 45.02 € 88.06 лв
An Account Of The Harvard Greek Play (1881) Henry Norman / Book Paperback
common.buy 24.09 € 47.12 лв
Maria Llovet's Eros/Psyche Llovet / Book Hardback
common.buy 24.14 € 47.22 лв
Bake Paul Hollywood / Book Hardback
common.buy 29.38 € 57.45 лв
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Book Hardback
common.buy 24.92 € 48.74 лв
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 27.25 € 53.30 лв
Stop Them Dead Peter James / Book Paperback
common.buy 13.05 € 25.53 лв
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Book Hardback
common.buy 249.81 € 488.58 лв
Progressive Censoring Rita Aggarwala / Book Hardback
common.buy 185.81 € 363.42 лв
Routledge Handbook of Euroscepticism Nicholas Startin / Book Hardback
common.buy 365.41 € 714.69 лв
Thus Spoke Zarathustra Friedrich Wilhelm Nietzsche / Book Paperback
common.buy 20.05 € 39.21 лв
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Book Hardback
common.buy 108.76 € 212.72 лв
Out of One, Many Africas William Martin / Book Paperback
common.buy 33.73 € 65.97 лв

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