Lecture Notes in Computer Science 9509 - Software Engineering and Formal MethodsEbookTooltip
Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.
Samenvatting
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.
Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.
De prijs van dit product is 49 euro en 99 cent. De meest getoonde prijs is 54 euro en 49 cent. Je bespaart 8%.49
99
Meest getoonde prijs
54,49
Referentieprijs: de meest getoonde niet-promotie prijs aan klanten op bol in de afgelopen 90 dagen.
Bij seizoensgebonden mode artikelen gaat het om de meest getoonde prijs tijdens de eerste 30 dagen dat het artikel op bol.com te koop staat.
Meer informatie
Je bespaart 8%
Direct beschikbaar
Verkoop door bol
Lecture Notes in Computer Science 9509 - Software Engineering and Formal Methods
Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.
