عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 G474 2000
QA76
.
76
.
V47
G474
2000
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540450475
(Number (ISBN
9783540450474
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566083
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer Aided Verification :
General Material Designation
[Book]
Other Title Information
12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings.
First Statement of Responsibility
Gerhard Goos
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin/Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
2000
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Book number
G474
2000
PERSONAL NAME - PRIMARY RESPONSIBILITY
Gerhard Goos
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Gerhard Goos
Jan Van Leeuwen
Juris Hartmanis
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
