Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 9509Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015.Edition: 1st ed. 2015Description: 1 online resource (XXIX, 325 p. 88 ill. in color.)ISBN: - 9783662492246
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.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000025238ENG |
Total holds: 0
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.
There are no comments on this title.
Log in to your account to post a comment.
