The programming process an introduction using VDM and Pascal
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Unknown |
Published: |
Wokingham, England ; Reading, Mass.
Addison-Wesley Pub. Co.
c1990
|
Series: | International computer science series
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-392154 | ||
020 | # | # | |a 0201416611 |
040 | # | # | |a DLC |d ITMB |
090 | 0 | 0 | |a QA76.73.P2 |b L38 1990 |
100 | 1 | # | |a Latham, John T. |d 1959 |q John Timothy |
245 | 1 | 4 | |a The programming process |b an introduction using VDM and Pascal |c John T. Latham, Vicky J. Bush, Ian D. Cottam |
260 | # | # | |a Wokingham, England ; |a Reading, Mass. |b Addison-Wesley Pub. Co. |c c1990 |
300 | # | # | |a xvii, 537 p. |b ill. |c 24 cm |
490 | 1 | # | |a International computer science series |
504 | # | # | |a Includes bibliographical references (p. 491) and index |
650 | # | 0 | |a Computer software |x Development |
650 | # | 0 | |a Pascal (Computer program language) |x Development |
700 | 1 | # | |a Bush, Vicky J. |d 1954 |q Vicky Jane |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=392154 |
964 | # | # | |c BOK |d 01 |
998 | # | # | |a 00260##a002.8.2||00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1|| |