Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 519205-1001 XX(519205.1)
Searching...

On Order