TEST - Catálogo BURRF		    

Su búsqueda retornó 5 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Automated Reasoning with Analytic Tableaux and Related Methods : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert. por
  • Beckert, Bernhard [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3702
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue. por
  • Beckert, Bernhard [editor.]
  • Damiani, Ferruccio [editor.]
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7542
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. por
  • Beckert, Bernhard [editor.]
  • Marché, Claude [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6528
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. por
  • Beckert, Bernhard [editor.]
  • Damiani, Ferruccio [editor.]
  • Gurov, Dilian [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7421
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle. por
  • Beckert, Bernhard [editor.]
  • Hähnle, Reiner [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4966
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

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