عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540884785
(Number (ISBN
9783540884781
NATIONAL BIBLIOGRAPHY NUMBER
Number
b406871
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
Tiziana Margaria, Bernhard Steffen (Eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2008.
SERIES
Series Title
Communications in computer and information science,
Volume Designation
no. 17
ISSN of Series
1865-0929 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
PARALLEL TITLE PROPER
Parallel Title
ISoLA 2008
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Margaria, Tiziana.
Steffen, Bernhard.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Symposium on Leveraging Applications of Formal Methods(3rd :2008 :, Porto Sano, Greece)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20190301084500.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
