000 -LEADER |
fixed length control field |
00695nam a2200169 a 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20190520020408.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
090326s19uu xx 00 eng d |
100 10 - MAIN ENTRY--PERSONAL NAME |
Personal name |
Turski, Vladyslaw M |
245 10 - TITLE STATEMENT |
Title |
The specification of computer programs / |
Statement of responsibility, etc. |
Vladyslaw M. Turski, Thomas S.E. Maibaum. |
260 0# - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Workingham : |
Name of publisher, distributor, etc. |
Addison-Wesley, |
Date of publication, distribution, etc. |
c1987. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 278 p. : ill. |
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
International computer science series |
500 ## - GENERAL NOTE |
General note |
Includes appendices, references, and index |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer software |
General subdivision |
Development |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Electronic digital computers |
General subdivision |
Programming |
852 ## - LOCATION |
-- |
OLOPSC |
-- |
850.00Php |