Programming Methodology
Contributors: Annabelle Mclver (Editor); Carroll Morgan (Editor)
Publisher: Springer
Published: October 1, 2002
Language: eng
Number of pages: 488
ISBN-13: 9780387953496
First sentence: The practical application of a formal method to the correct design of industrial-strength programs is impeded if the method does not scale.