- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Software Engineering and Formal Methods
11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8137
52,95 €
+ 105 points
Description
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 321
- Langue:
- Anglais
- Collection :
- Tome:
- n° 8137
Caractéristiques
- EAN:
- 9783642405600
- Date de parution :
- 12-09-13
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 476 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.