Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
<A> Roadmap for Formal Property Verification
پدید آورنده
\ by Pallab Dasgupta
موضوع
Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده
E-Book
,
کتابخانه
Library of Foreign Languages and Islamic Sources
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
37839111
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9781402047572
NATIONAL BIBLIOGRAPHY NUMBER
Number
42066
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Roadmap for Formal Property Verification
General Material Designation
[Electronic book]
First Statement of Responsibility
\ by Pallab Dasgupta
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2006
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 251 p
Other Physical Details
:ill
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Integrated circuits -- Verification
مدارهای مجتمع -- راستیآزمایی
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Dasgupta, Pallab
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9781402047572.pdf
BL
278840
1
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal