TEST - Catálogo BURRF		    

Su búsqueda retornó 11 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3657
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 : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4111
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4709
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Graf, Susanne [editor.]
  • Roever, Willem-Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5382
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
5.
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Madelaine, Eric [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5751
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
6.
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. por
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • Hallerstede, Stefan [editor.]
  • Leuschel, Michael [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6286
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
7.
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue. por
  • Aichernig, Bernhard K [editor.]
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6957
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
8.
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
9.
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue. por
  • Giachino, Elena [editor.]
  • Hähnle, Reiner [editor.]
  • Boer, Frank S [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7866
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
10.
Theoretical Computer Science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer. por
  • Baeten, Jos C. M [editor.]
  • Ball, Tom [editor.]
  • Boer, Frank S [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7604
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
11.
Verification of Sequential and Concurrent Programs / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. por
  • Apt, Krzysztof R [autor]
  • Boer, Frank S [autor]
  • Olderog, Ernst-Rüdiger [autor]
  • SpringerLink (Servicio en línea)
Series Texts in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2009
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