Resultados
|
|
1.
|
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.
|
|
|
2.
|
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.
|
|
|
3.
|
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. por
- Joshi, Rajeev [editor.]
- Müller, Peter [editor.]
- Podelski, Andreas [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7152
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
