Saltar al contenido
BIBLIOTECAS
  • Idioma
    • Español
    • English
    • Português (Brasil)
    • Deutsch
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
  • Entrar
  • Salir
  • Su cuenta
Avanzado
  • Buscar
  • Software Engineering 1
  • Existencias
  • Citar
  • Enviar este por Correo electrónico
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
    • Exportar a MARC
    • Exportar a MARCXML
  • Agregar a favoritos
Imagen de Portada

Software Engineering 1 Abstraction and Modelling /

Guardado en:
Autor Principal: Bjørner, Dines.
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:Texts in Theoretical Computer Science an EATCS Series,
Materias:
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista bibliotecarios
Recurso en línea
SpringerLink, via BECYT

Ejemplares similares

  • Software Engineering 2 Specification of Systems and Languages /
    por: Bjørner, Dines.
    Publicado: (2006)
  • Software Engineering 3 Domains, Requirements, and Software Design /
    por: Bjøner, Dines.
    Publicado: (2006)
  • Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings /
    por: Heineman, George T.
    Publicado: (2005)
  • Categories for Software Engineering
    por: Fiadeiro, José Luiz.
    Publicado: (2005)
  • Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
    por: Liu, Zhiming.
    Publicado: (2006)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacto
  • Bibliotecas
Cargando...