Leveraging applications of formal methods, verification, and validation International Workshops, SARS 2011 and MLSC 2011 : held under the auspices of ISoLa 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers / Reiner Hähnle ... [and 4 others] (Eds.).

Other author Hähnle, Reiner.
Other author ISoLA (Symposium) (2011 : Vienna, Austria)
Format Electronic
Publication InfoNew York : Springer, [2012]
Descriptionxii, 261 pages : illustrations ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2012 English International
Subjects
Robots--Programming. --Congresses.
Machine learning--Congresses.
Computer software--Verification. --Congresses.
Formal methods (Computer science)--Congresses.

SeriesCommunications in computer and information science, 1865-0929 ; 336
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2012951161
ISBN9783642347801 (soft cover : alk. paper)
ISBN3642347800 (soft cover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available