عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47W64 2000
QA
76
.
76
.
D47W64
2000
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proceedings of FMSP'00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA'00
EDITION STATEMENT
Statement of Responsibility Relating to Edition
3rd : 2000 : Portland, Oregon, USA
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
ACM Press
Date of Publication, Distribution, etc.
c2000
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 112 p.: ill.
GENERAL NOTES
Text of Note
At head of title : ACM
Text of Note
Includes bibliographies
Text of Note
ISBN: 158113262X
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Mats P. E. Heimdahl; sponsored by ACM SIGSOFT
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer software -- Development
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47W64
2000
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Heimdahl, Mats P. E.
CO ACM Special Interest Group on Software Engineering
CO International Symposium on Software Testing and Analysis 2000 : Portland, Oregan, USA
TI
TI Formal Methods in Software Practice
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
Workshop on Formal Methods in Software Practice
