Overview
- Contains a Foreword by Dr. David L. Parnas, Director of the Software Engineering Programme at Mc.
- Master University, Hamilton, Canada
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (8 chapters)
-
Information Systems
-
Reactive Systems
Editors and Affiliations
Bibliographic Information
Book Title: Program Development by Refinement
Book Subtitle: Case Studies Using the B Method
Editors: Emil Sekerinski, Kaisa Sere
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
DOI: https://doi.org/10.1007/978-1-4471-0585-5
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 1999
Softcover ISBN: 978-1-85233-053-8Published: 23 October 1998
eBook ISBN: 978-1-4471-0585-5Published: 06 December 2012
Edition Number: 1
Number of Pages: XXIV, 364
Topics: Software Engineering, Mathematical Logic and Formal Languages