|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783662492246
Veröffentl:
2016
Seiten:
325
Autor:
Domenico Bianculli
Serie:
9509, Lecture Notes in Computer Science Programming and Software Engineering
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
This book constitutes revised selected papers from the workshops
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.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
