Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /

Selección de las ponencias presentadas en el décimo Simposio Internacional sobre Aspectos Formales del Software de Componentes, celebrado en Nanchang, China, en octubre de 2013. Los artículos abordan, principalmente, el uso de los métodos formales en el desarrollo de software para componentes que se...

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

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

Συγγραφή απο Οργανισμό/Αρχή:	International Symposium on Formal Aspects of Component Software ( Nanchang, China)
Άλλοι συγγραφείς:	Fiadeiro, José Luiz (edición) (edición), Liu, Zhiming (edición) (edición), Xue, Jinyun (edición) (edición)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Cham, Suiza : Springer, 2014, c2014
Σειρά:	(Lecture Notes in Computer Science ; 8348)
Θέματα:	Arquitectura de Computadoras Algoritmos Computacionales Codificación - > Teoría Autómatas Matemáticos - > Teoría Compiladores (Software) Ingeniería de Software Programación (Software) - > Tema Principal Algoritmos Desarrollo de Sistemas - > Congresos - > Tema Principal Desarrollo de Sistemas Ingeniería Computacional
Διαθέσιμο Online:	Ver documento en línea
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!