Protocol Specification, Testing and Verification XIV
Contributors: S.T. Vuong (Editor); Samuel T. Chanson (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 30, 1994
Language: eng
Format: Hardcover
Number of pages: 2
ISBN-13: 9780412636400
Subjects: Networking standards & protocols; Sound, vibration & waves (acoustics); Engineering - Electrical & Electronic; Computers - Communications / Networking; Networking - General; Technology / Engineering / Electrical; COMPUTER AND INFORMATION SCIENCE:Data Communications and Networks; Acoustics, Speech, Signal Processing
First sentence: One goal for work within program specification is to provide a theory for the formal refinement of specifications into programs via sequences of verified-correct development steps.