Resultados
|
|
1.
|
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; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Ro?u, Burkhart Wolff. por
- Havelund, Klaus [editor.]
- Núñez, Manuel [editor.]
- Ro?u, Grigore [editor.]
- Wolff, Burkhart [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4262
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Ro?u, Oleg Sokolsky, Nikolai Tillmann. por
- Barringer, Howard [editor.]
- Falcone, Ylies [editor.]
- Finkbeiner, Bernd [editor.]
- Havelund, Klaus [editor.]
- Lee, Insup [editor.]
- Pace, Gordon [editor.]
- Ro?u, Grigore [editor.]
- Sokolsky, Oleg [editor.]
- Tillmann, Nikolai [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6418
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
