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,...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Σειρά: | (Lecture Notes in Computer Science ;
8829) |
| Θέματα: | |
| Διαθέσιμο Online: | Ver documento en línea |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Διαδίκτυο
Ver documento en línea| Ταξινομικός Αριθμός: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 556552-1 |
Disponible
Préstamo en línea
|
Συλλογή:
Libros electrónicos en línea
|
Σημειώσεις:
Consultar en línea
|