Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Uitgever: Springer
Taal: Engels

Afbeeldingen

Artikel vergelijken

Bekijk nu
  • Engels
  • Paperback
  • 9783319073163
  • 21 mei 2014
  • 352 pagina's
Alle productspecificaties

Samenvatting

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.

SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.

Productspecificaties

Inhoud

Taal
en
Bindwijze
Paperback
Oorspronkelijke releasedatum
21 mei 2014
Aantal pagina's
352
Illustraties
Nee

Betrokkenen

Hoofdredacteur
Marco Bernardo
Tweede Redacteur
Ferruccio Damiani
Co Redacteur
Einar Broch Johnsen
Hoofduitgeverij
Springer

Overige kenmerken

Editie
2014 ed.
Extra groot lettertype
Nee
Product breedte
157 mm
Product hoogte
22 mm
Product lengte
236 mm
Studieboek
Nee
Verpakking breedte
157 mm
Verpakking hoogte
22 mm
Verpakking lengte
236 mm
Verpakkingsgewicht
533 g

EAN

EAN
9783319073163

Je vindt dit artikel in

Categorieën
Boek, ebook of luisterboek?
Boek
Taal
Engels
Studieboek of algemeen
Algemene boeken

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.

Kies gewenste uitvoering

Bindwijze : Paperback

Prijsinformatie en bestellen

Niet leverbaar

Ontvang eenmalig een mail of notificatie via de bol app zodra dit artikel weer leverbaar is.

Stuur mij een bericht Je hoort van ons
Houd er rekening mee dat het artikel niet altijd weer terug op voorraad komt.