2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
- Mehr
Ihr Link zur Ex Libris-Reader-App
Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
Software Engineering and Formal Methods
- E-Book (pdf)
- 325 Seiten
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering...
Weiterlesen
CHF
66.90
- Download steht sofort bereit
- Informationen zu E-Books
- E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
E-Book (pdf)
Beschreibung
This book constitutes revised selected papers from the workshops
collocated with the SEFM 2015 conference on Software Engineering and
Formal Methods, held in York, UK, in September 2015.
The 25 papers included in this volume were carefully reviewed and
selected from 32 submissions.
The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.
The four workshops were:
- ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;
- HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;
- MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;
- VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.
Inhalt
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.
Produktinformationen
| Titel: | Software Engineering and Formal Methods |
| Untertitel: | SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers |
| Editor: | |
| EAN: | 9783662492246 |
| Format: | E-Book (pdf) |
| Hersteller: | Springer Berlin Heidelberg |
| Genre: | Anwendungs-Software |
| Veröffentlichung: | 11.01.2016 |
| Digitaler Kopierschutz: | Wasserzeichen |
| Dateigrösse: | 21.11 MB |
| Anzahl Seiten: | 325 |
Weitere Bände aus der Buchreihe "Programming and Software Engineering"
Zuletzt angesehen
Verlauf löschen
-
Istrien (Wandkalender 2022 DIN A2 quer)
LianeM
Bücher Deutsch
-
Weltkulturerbe Dolomiten Süd Tirol (Wandkalender 2...
Rufotos
Bücher Deutsch
-
Traumorte von Jordanien bis Portugal (Tischkalende...
Berthold Werner
Bücher Deutsch
-
Ländliche Idylle auf Ibiza (Wandkalender 2022 DIN ...
Antje Lindert-Rottke
Bücher Deutsch
Ihre erste Adresse für Bücher, Filme, Musik, Spiele und Games!
| Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt. |