Program Development by Specification and Transformation
Subtitle: The Prospectra Methodology, Language Family, and System (Lecture Notes in Computer Science)
Contributors: Bernd Krieg-Bruckner (Editor)
Publisher: Springer
Published: September 1993
Language: eng
Number of pages: 638
ISBN-13: 9780387567334