Cover image for 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
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:
http://dx.doi.org/10.1007/978-3-642-34781-8
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 197548-2001 ONLINE
Searching...

On Order