عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642347800
(Number (ISBN
9783642347801
NATIONAL BIBLIOGRAPHY NUMBER
Number
b407203
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Leveraging applications of formal methods, verification, and validation
General Material Designation
[Book]
Other Title Information
International Workshops, SARS 2011 and MLSC 2011 : held under the auspices of ISoLa 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
First Statement of Responsibility
Reiner Hähnle ... [and 4 others] (Eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2012]
SERIES
Series Title
Communications in computer and information science,
Volume Designation
336
ISSN of Series
1865-0929 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Computer software-- Verification, Congresses.
Formal methods (Computer science), Congresses.
Machine learning, Congresses.
Robots-- Programming, Congresses.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Hähnle, Reiner.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ISoLA (Symposium)(2011 :, Vienna, Austria)
SpringerLink (Online service).
ORIGINATING SOURCE
Date of Transaction
20190307155000.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
