000			02169nam a22003618i 4500
001			CR9781139171847
003			UkCbUP
005			20200124160222.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			111013s1987||||enk o ||1 0|eng|d
020			_a9781139171847 (ebook)
020			_z9780521268233 (hardback)
020			_z9780521318839 (paperback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.6 _b.S767 1987
082	0	0	_a005.1 _219
100	1		_aStone, R. G., _d1950- _eauthor.
245	1	0	_aProgram construction / _cR.G. Stone and D.J. Cooke.
264		1	_aCambridge : _bCambridge University Press, _c1987.
300			_a1 online resource (x, 372 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aCambridge computer science texts ; _v22
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520			_aThis textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.
650		0	_aComputer programming.
700	1		_aCooke, D. J. _q(Derek John), _d1947- _eauthor.
776	0	8	_iPrint version: _z9780521268233
830		0	_aCambridge computer science texts ; _v22.
856	4	0	_uhttps://doi.org/10.1017/CBO9781139171847
999			_c516813 _d516811