B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko.

Por: Colaborador(es): Tipo de material: Archivo de ordenadorArchivo de ordenadorSeries Lecture Notes in Computer Science ; 4355Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.Descripción: v.: digitalISBN:
  • 9783540687610
Tema(s): Clasificación LoC:
  • QA76.9.B22 J85 2006
Recursos en línea: En: Springer eBooks
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Signatura topográfica Info Vol URL Copia número Estado Notas Código de barras
Libro Electrónico Libro Electrónico Biblioteca Digital Colección Digital QA76.9.B22 J85 2006 (Navegar estantería(Abre debajo)) BDIG00007452 Enlace al recurso 1 Disponible SpringerLink (Online service) BDIG00007452

No hay comentarios en este titulo.

para colocar un comentario.
Previo
Volver a resultados
Siguiente
Cerrar