*Result*: A theory and practice of program development

*Author/editor-in-chief*:
*Publication*:
London [u.a.] : Springer, 1997
*Physical description scale*:
XVII, 405 S. : graph. Darst.
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Formal approaches to computing and information technology
*RVK-Notation*:
*ISBN*:
3540761624