• Comunidades e Coleções
    • Por data do documento
    • Autores
    • Orientador
    • Títulos
    • Assuntos
    • Tipo de documento
    • español
    • English
    • português (Brasil)
  • Autoarquivamento
  • Navegue 
    • Comunidades e Coleções
    • Por data do documento
    • Autores
    • Orientador
    • Títulos
    • Assuntos
    • Tipo de documento
  • português (Brasil) 
    • español
    • English
    • português (Brasil)
  • Entrar
Ver item 
  •   Repositório institucional ITM
  • Investigación
  • Artículos de Investigación Indexados
  • Ver item
  •   Repositório institucional ITM
  • Investigación
  • Artículos de Investigación Indexados
  • Ver item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Navegar

Todo o repositórioComunidades e ColeçõesPor data do documentoAutoresOrientadorTítulosAssuntosTipo de documentoEsta coleçãoPor data do documentoAutoresOrientadorTítulosAssuntosTipo de documento

Minha conta

EntrarCadastro

Estatística

Ver as estatísticas de uso
Estatisticas GTMVer estatísticas GTM

Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]

Thumbnail
QRCode
Compartilhar
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]
Data
2014
Autor
Edgar Serna M.
Alexei Serna A.

Citação

       
TY - GEN T1 - Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] AU - Edgar Serna M. AU - Alexei Serna A. Y1 - 2014 UR - http://hdl.handle.net/20.500.12622/3795 AB - ER - @misc{20.500.12622_3795, author = {Edgar Serna M. and Alexei Serna A.}, title = {Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]}, year = {2014}, abstract = {}, url = {http://hdl.handle.net/20.500.12622/3795} }RT Generic T1 Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] A1 Edgar Serna M. A1 Alexei Serna A. YR 2014 LK http://hdl.handle.net/20.500.12622/3795 AB OL Spanish (121)
Gestores bibliográficos
Refworks
Zotero
BibTeX
CiteULike
Metadata
Mostrar registro completo
Fonte
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84898438776&partnerID=40&md5=05b726a8ee7dc496e0b1e5344836f113
URI
http://hdl.handle.net/20.500.12622/3795
Collections
  • Artículos de Investigación Indexados [936]

Departamento de Biblioteca y Extensión Cultural
bibliotecaitm@itm.edu.co

Entre em contato | Deixe sua opinião