Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Part I 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
- Engels
- Paperback
- 9783319471655
- 06 oktober 2016
- 974 pagina's
Samenvatting
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.
The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
Productspecificaties
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 06 oktober 2016
- Aantal pagina's
- 974
- Illustraties
- Nee
Betrokkenen
- Hoofdredacteur
- Tiziana Margaria
- Tweede Redacteur
- Bernhard Steffen
- Hoofduitgeverij
- Springer International Publishing Ag
Overige kenmerken
- Editie
- 1st ed. 2016
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Nee
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 235 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 14789 g
EAN
- EAN
- 9783319471655
Productveiligheid
-
Verantwoordelijk marktdeelnemer in de EU
Tooltip
Verantwoordelijk marktdeelnemer in de EU
De verantwoordelijk marktdeelnemer in de EU zorgt voor het nakomen van verplichtingen op het gebied van productveiligheid. - Bekijk gegevens
Levertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Anderen bekeken ook
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud, zoals een onveilig, illegaal artikel of misleidende content.
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan het klantformulier (via onderstaande link) om een melding te doen.