عنوان
پدید آورنده
موضوع
رده
QA76.76 .C45F62
QA76
.
76
.
C45F62
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0333992814
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
327082
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
formal Software Development: From VDM to JAVA
General Material Designation
[Book]
First Statement of Responsibility
/ Quentin Charatan and Aaron Kans
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Palgrave
Date of Publication, Distribution, etc.
, 2004.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 239p.
Other Physical Details
: ill
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
TOPICAL NAME USED AS SUBJECT
Computer software- Development- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
Book number
.
C45F62
PERSONAL NAME - PRIMARY RESPONSIBILITY
Charatan, Quentin
ORIGINATING SOURCE
Country
ایران
Agency
Central Library of the University of Kurdistan
old catalog
BL
1
a
Y
