Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Program verification
پدید آورنده
Francez, Nissim.
موضوع
، Computer software- Verification
رده
کتابخانه
Library of Niroo Research Institue
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
9
-
88079401
-
021
OTHER STANDARD IDENTIFIER
Standard Number
6969
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Francez, Nissim.
Title Proper
Program verification
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wokingham, Eng.
Name of Publisher, Distributor, etc.
Addison- Wesley Pub. Co.
Date of Publication, Distribution, etc.
c1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 312 p. :ill. ;24 cm
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 295- 303( and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software- Verification
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/4
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
V47F73
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Francez Nissim
TI
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal