Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Formal design methods for CAD: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994
پدید آورنده
IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD )4991: Tallinn, Estonia(
موضوع
، Computer-aided design- Congresses
رده
TA
174
.
I1319
1994
کتابخانه
Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
88881052
-
88881042
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal design methods for CAD: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam; New York
Name of Publisher, Distributor, etc.
Elsevier
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 362 p. : ill
SERIES
Other Title Information
IFIP transactions. B, Applications in technology
Other Title Information
B-18
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by John S. Gero, Enn Tyugu
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer-aided design- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TA
174
.
I1319
1994
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD )4991: Tallinn, Estonia(
Relator Code
AU
AU Gero, John S.
AU Tyugu, Enn Kharal dovich 1935-
TI
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal