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
by
Hähnle, Reiner. editor.
Title
:
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
Author
:
Hähnle, Reiner. editor.
ISBN
:
9783642347818
Physical Description
:
XII, 261 p. 94 illus. online resource.
Series
:
Communications in Computer and Information Science,
Series Title
:
Communications in Computer and Information Science, 1865-0929
Subject Term
:
Computer science.
Software engineering.
Data mining.
Information storage and retrieval systems.
Artificial intelligence.
Optical pattern recognition.
Added Author
:
Knoop, Jens.
Margaria, Tiziana.
Schreiner, Dietmar.
Steffen, Bernhard.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 197548-2001 | ONLINE | | Elektronik Kütüphane |