Formal specification and software development

Saved in:
Bibliographic Details
Main Author: Bjorner, D. 1937- Dines
Other Authors: Jones, C. B. 1944- Cliff B.
Format: Book
Published: Englewood Cliffs, N.J. Prentice/Hall International 1982
Series:Prentice-Hall International series in computer science
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-1458
020 # # |a 0133290034 
090 0 0 |a QA76.6  |b .B575 1982 
100 1 # |a Bjorner, D.  |c 1937-  |q Dines 
245 1 0 |a Formal specification and software development  |c D. Bjorner and Cliff Bo. Jones ; in collaboration with Derek Andrews ... [et al.] 
260 # # |a Englewood Cliffs, N.J.  |b Prentice/Hall International  |c 1982 
300 # # |a x, 501 p.  |b ill.  |c 25 cm 
490 1 # |a Prentice-Hall International series in computer science 
500 # # |a Includes index. 
504 # # |a Bibliography: p. 461-487. 
650 # 0 |a Computer software  |x Development 
650 # 0 |a Programming languages (Electronic computers)  |x Development 
700 1 # |a Jones, C. B.  |c 1944-  |q Cliff B. 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=1458 
964 # # |c BOK  |d 01 
040 # # |a Shah Alam 
998 # # |a 00260##a002.17.2||00260##b002.17.2||00260##c002.17.2||00300##a002.17.2||00300##b002.17.2||00300##c002.17.2||00500##a002.17.2||