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,...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συγγραφή απο Οργανισμό/Αρχή:	International Conference on Formal Engineering Methods ( Luxemburgo, Luxemburgo)
Άλλοι συγγραφείς:	Merz, Stephan (edición) (edición), Pang, Jun (edición) (edición)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Heidelberg, Alemania : Springer, 2014, c2014
Σειρά:	(Lecture Notes in Computer Science ; 8829)
Θέματα:	Compiladores (Software) Arquitectura de Software Programación (Software) - > Planeación Programación (Software) Autómatas Matemáticos - > Teoría Algoritmos Computacionales Ingeniería de Software - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Ingeniería Computacional
Διαθέσιμο Online:	Ver documento en línea
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!