Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /

Selección de las ponencias presentadas en la décima sexta Conferencia Internacional sobre Métodos de Ingeniería Formal, celebrada en Luxemburgo, Luxemburgo, en noviembre de 2014. Los documentos dan cuenta de una amplia gama de temas relacionados con los métodos formales y la ingeniería de software,...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: International Conference on Formal Engineering Methods ( Luxemburgo, Luxemburgo)
Autres auteurs: Merz, Stephan (edición) (edición), Pang, Jun (edición) (edición)
Format: Actes de congrès Livre
Langue:anglais
Publié: Heidelberg, Alemania : Springer, 2014, c2014
Collection:(Lecture Notes in Computer Science ; 8829)
Sujets:
Accès en ligne:Ver documento en línea
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!