Title:
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author:
Bianculli, Domenico. editor.
ISBN:
9783662492246
Edition:
1st ed. 2015.
Physical Description:
XXIX, 325 p. 88 illus. in color. online resource.
Series:
Programming and Software Engineering, 9509
Contents:
Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-662-49224-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 519205-1001 | XX(519205.1) | Searching... | Searching... |