Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers

Uitgever: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Engels
Paperback
9783662492239
03 februari 2016
325 pagina's

Alle productspecificaties

Samenvatting

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal 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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 03 februari 2016
Aantal pagina's: 325
Illustraties: Nee

Betrokkenen

Hoofdredacteur: Domenico Bianculli
Tweede Redacteur: Radu Calinescu
Co Redacteur: Bernhard Rumpe
Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Overige kenmerken

Editie: 1st ed. 2015
Extra groot lettertype: Nee
Product breedte: 157 mm
Product hoogte: 22 mm
Product lengte: 236 mm
Studieboek: Ja
Verpakking breedte: 155 mm
Verpakking hoogte: 235 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 563 g

EAN

EAN: 9783662492239

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Databases

Programmeren

Toegepaste computerwetenschap

Wiskunde

Kunstmatige intelligentie

Wiskunde voor computerwetenschappers

Algoritmes & datastructuren

Kansrekening & Statistieken

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Algemene boeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

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.