عنوان
پدید آورنده
موضوع
رده
QA 76.6 .B335
QA
76
.
6
.
B335
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
9111
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Bakker, Jacobus Willem
Title Proper by Another Author
9391-
Title Proper
Mathematical theory of program correctness
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Englewood Cliffs., N.J.
Name of Publisher, Distributor, etc.
Pretice-Hall,Intervationnal
Date of Publication, Distribution, etc.
c1980
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 505p
SERIES
Series Title
Prentice-Hall International series in computer science
GENERAL NOTES
Text of Note
Bibliography: p. 466-490
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jacobus de Bakker; with the assistance of Aric de Bruin, Jeffery Zucker
TOPICAL NAME USED AS SUBJECT
Entry Element
Correctness ، Computer programs
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
B335
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
LOCATION AND CALL NUMBER
Call Number Suffix
CL
