Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki.

Por:

Colaborador(es):

Tipo de material:

Archivo de ordenadorSeries Lecture Notes in Computer Science ; 5256Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Descripción: v.: digitalISBN:

Tema(s):

Clasificación LoC:

Recursos en línea:

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	URL	Copia número	Estado	Notas	Código de barras
Libro Electrónico	Biblioteca Digital Colección Digital	QA76.9.F67 L58 2008 (Navegar estantería(Abre debajo))	Enlace al recurso	1	Disponible	Springer Link	BDIG00009958

No hay comentarios en este titulo.

para colocar un comentario.

Previo