Springer Nature Proceedings Computer Science - Software Engineering and Formal Methods Ebook 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Edition: Springer
Langue: Anglais
  • en
  • livre numérique
  • 9783319229690
  • 23 août 2015
  • Adobe ePub
Toutes les spécifications de l'article

Résumé

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

Spécifications produit

Contenu

Langue
en
Version
livre numérique
Date de sortie initiale
23 août 2015
Format ebook
Adobe ePub
Illustrations
Avec illustrations

Personnes impliquées

Rédacteur en chef
Radu Calinescu
Deuxième rédacteur
Bernhard Rumpe
Editeur principal
Springer

Options de lecture

Lisez cet ebook sur
Android (smartphone et tablette) | Lecteur électronique Kobo | Ordinateur de bureau (Mac et Windows) | iOS (smartphone et tablette) | Windows (smartphone et tablette)

Informations sur le fabricant

Informations sur le fabricant
Les informations du fabricant ne sont actuellement pas disponibles

Autres spécifications

Hauteur de l'emballage
0 mm
Livre d‘étude
Non

EAN

EAN
9783319229690

Sécurité des produits

Opérateur économique responsable dans l’UE
Afficher les données

Vous trouverez cet article :

Catégories
Disponibilité
Disponible à l'adresse suivante
Langue
Anglais
Livre, ebook ou livre audio ?
Ebook

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol. n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

Choisissez la version souhaitée
Choisissez votre version
livre numérique €49,99 Broché €46,99
Informations sur les prix et commande
Le prix de ce produit est de 49 euros et 99 cents.
Disponible immédiatement
Vendu par bol
Ebook
  • Ebook utilisable dès son achat
  • Les ebooks offrent plein d'avantages
  • Garantie légale via bol
  • Service client 24h/24
  • Paiement sécurisé
Vous ne pouvez pas annuler ou retourner des éléments téléchargés. Pour les produits qui ne sont pas encore parus, vous pouvez annuler jusqu'à la date de publication.
Voir les conditions de retour

D'autres ont aussi regardé

Voir la liste complète