Program development by refinement
Subtitle: case studies using the B method
By: E. Sekerinski and K. Sere (eds).
Contributors: Sekerinski, E. 1963-; Sere, K. 1954-
Series: Formal approaches to computing and information technology
Publisher: New York; Springer
Published: 1999
Place of publication: London
Language: eng
Number of pages: 334
Subjects: B (Computer program language)
Notes: Includes bibliographical references (p. [323]-326).