PakCat catalogue record CASE STUDIES IN SYSTEMATIC SOFTWARE DEVELOPMENT characterization and convergence By CLIFF B.JONES AND ROGER C.F.SHAW Bibliographic details ISBN0471081868 PublisherPRENTICE HALL Publication placeLONDON Publication year1989 LanguageEnglish Material typeBook Physical description540 Additional authorsThomas G Kurtz. SubjectsComputer Science