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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 530 b
77 760 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

LE PROPHETE ARABE/FRANCAIS KHALIL / Book Paperback
common.buy 4 858 Ft
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Book Paperback
common.buy 5 589 Ft
Contabilidad social y medioambiental ANTONIO SOMOZA / Book Paperback
common.buy 8 994 Ft
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 7 143 Ft
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Book Paperback
common.buy 2 596 Ft
S.O.S. dent perdue ! Pascal Prevot / Book Hardback
common.buy 3 785 Ft
Eisblume Heinz-Peter Engertsberger / Book Paperback
common.buy 4 548 Ft
Handbuch des Roemischen Privatrechts Christian Baldus / Book Hardback
common.buy 239 978 Ft
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Book Paperback
common.buy 8 684 Ft
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Book Paperback
common.buy 29 726 Ft
En finir avec le couple Stéphane Rose / Book Paperback
common.buy 7 319 Ft
NSU Udo Schulze / Book Paperback
common.buy 4 927 Ft
Kultureller Verlust Arnold Groh / Book Paperback
common.buy 13 190 Ft
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Book Paperback
common.buy 7 190 Ft
Apotheoses Et Imprecations PYTHAGORE / Book Paperback
common.buy 5 589 Ft
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Book Paperback
common.buy 2 771 Ft
Sword Art Online - Progressive 04 Reki Kawahara / Book Paperback
common.buy 2 993 Ft

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 5 839 Ft
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Book Paperback
common.buy 26 598 Ft
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Book Paperback
common.buy 9 374 Ft
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Book Paperback
common.buy 5 691 Ft
Progressive Censoring Rita Aggarwala / Book Hardback
common.buy 65 832 Ft
The Prince And The Pauper Part 1 Mark Twain / Book Paperback
common.buy 3 285 Ft
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Book Paperback
common.buy 3 197 Ft
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Book Paperback
common.buy 9 744 Ft
East Windsor Ceil Donahue / Book Hardback
common.buy 9 609 Ft
The Great Physicists From Galileo To Einstein George Gamow / Book Paperback
common.buy 13 908 Ft
Making Spaces Safer Shawna Potter / Book Paperback
common.buy 4 738 Ft
An Account Of The Harvard Greek Play (1881) Henry Norman / Book Paperback
common.buy 7 338 Ft
Maria Llovet's Eros/Psyche Llovet / Book Hardback
common.buy 8 642 Ft
Top
Bake Paul Hollywood / Book Hardback
common.buy 10 414 Ft
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Book Hardback
common.buy 8 832 Ft
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 9 660 Ft
Stop Them Dead Peter James / Book Paperback
common.buy 4 506 Ft
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Book Hardback
common.buy 91 241 Ft
Other Side of Innovation Vijay Govindarajan / Book Hardback
common.buy 10 475 Ft
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Book Hardback
common.buy 39 729 Ft
Kennedy in Berlin Hans-Michael Koetzle / Book Hardback
common.buy 7 657 Ft
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Book Paperback
common.buy 19 922 Ft
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Book Hardback
common.buy 79 092 Ft
Law without Values Albert W. Alschuler / Book Hardback
common.buy 39 187 Ft

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