Resultados
|
|
1.
|
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.
|
|
|
2.
|
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. por
- Havelund, Klaus [editor.]
- Majumdar, Rupak [editor.]
- Palsberg, Jens [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5156
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.
|
|
|
3.
|
NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. por
- Bobaru, Mihaela [editor.]
- Havelund, Klaus [editor.]
- Holzmann, Gerard J [editor.]
- Joshi, Rajeev [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6617
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Nasa formal methods : 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. por
- Havelund, Klaus [editor.]
- Holzmann, Gerard [editor.]
- Joshi, Rajeev [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9058
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
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.
|
|
|
6.
|
Tools and algorithms for the construction and analysis of systems : 20th international conference, tacas 2014, held as part of the european joint conferences on theory and practice of software, etaps 2014, grenoble, france, april 5-13, 2014. Proceedings / edited by Erika Ábrahám, Klaus Havelund. por
- Havelund, Klaus [editor.]
- SpringerLink (Servicio en línea)
- Ábrahám, Erika [editor.]
Series Lecture Notes in Computer Science ; 8413
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
