TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Model-Based Testing of Reactive Systems : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. por
  • Broy, Manfred [editor.]
  • Jonsson, Bengt [editor.]
  • Katoen, Joost-Pieter [editor.]
  • Leucker, Martin [editor.]
  • Pretschner, Alexander [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3472
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.

2.
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner. por
  • Cuellar, Jorge [editor.]
  • Lopez, Javier [editor.]
  • Barthe, Gilles [editor.]
  • Pretschner, Alexander [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6710
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.

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