Software specificationde John D. Gannon, James M. Purtilo, Marvin V. ZelkowitzMateriasComputer softwareFormal methods (Computer science)Software engineeringSpecificationsComputer Books: Word ProcessingComputers - Languages / ProgrammingProgramming - GeneralComputer Bks - Languages / Programming
LLanguage design to enhance programming reliabilityLanguage design to enhance programming reliability
