عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783540884781
(Number (ISBN
9783540884798
NATIONAL BIBLIOGRAPHY NUMBER
Number
b406870
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Leveraging Applications of Formal Methods, Verification and Validation
General Material Designation
[Book]
Other Title Information
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
First Statement of Responsibility
edited by Tiziana Margaria, Bernhard Steffen.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg :
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg,
Date of Publication, Distribution, etc.
c2008.
SERIES
Series Title
Communications in Computer and Information Science,
Volume Designation
17
ISSN of Series
1865-0929 ;
TOPICAL NAME USED AS SUBJECT
Computer science.
Computer simulation.
Computer system performance.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Margaria-Steffen, Tiziana,1964-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Steffen, Bernhard.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20140312160650.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
