• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Software engineering analysis and verification

پدید آورنده
Lewis, Theodore Gyle, 1491-

موضوع
، Software engineering,، Computer software -- Verification

رده
QA
76
.
6
.
L477

کتابخانه
Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi

محل استقرار
استان: Tehran ـ شهر: Tehran

Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi

تماس با کتابخانه : 88881052-88881042-021

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Software engineering analysis and verification

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Reston, Va
Name of Publisher, Distributor, etc.
Reston Pub. Co.
Date of Publication, Distribution, etc.
c1982

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
x, 470 p.: ill

GENERAL NOTES

Text of Note
Includes bibliographical references and index

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
T.G. Lewis

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
، Software engineering
Entry Element
، Computer software -- Verification

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
6
.
L477

PERSONAL NAME - PRIMARY RESPONSIBILITY

Entry Element
Lewis, Theodore Gyle, 1491-
Relator Code
AU

TI

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival