TEST - Catálogo BURRF
   

Su búsqueda retornó 5 resultados.

Ordenar
Resultados
1.
Algebra, Meaning, and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer. por
  • Futatsugi, Kokichi [editor.]
  • Jouannaud, Jean-Pierre [editor.]
  • Meseguer, José [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4060
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.

2.
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Ro?u. por
  • Meseguer, José [editor.]
  • Ro?u, Grigore [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5140
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

3.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer. por
  • Degano, Pierpaolo [editor.]
  • Nicola, Rocco [editor.]
  • Meseguer, José [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5065
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

4.
Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. por
  • Agha, Gul [editor.]
  • Danvy, Olivier [editor.]
  • Meseguer, José [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7000
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

5.
Specification, algebra, and software : essays dedicated to kokichi futatsugi / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata. por
  • Iida, Shusaku [editor.]
  • Meseguer, José [editor.]
  • Ogata, Kazuhiro [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8373
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.

Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha