Resultados
|
|
1.
|
Computer aided verification : 27th international conference, cav 2015, san francisco, ca, usa, july 18-24, 2015, proceedings, part ii / edited by Daniel Kroening, Corina S. P?s?reanu. por
- Kroening, Daniel [editor.]
- P?s?reanu, Corina S [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9207
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.
|
|
|
2.
|
Computer aided verification : 27th international conference, cav 2015, san francisco, ca, usa, july 18-24, 2015, proceedings, part I / edited by Daniel Kroening, Corina S. P?s?reanu. por
- Kroening, Daniel [editor.]
- P?s?reanu, Corina S [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9206
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.
|
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. P?s?reanu, Gwen Salaün. por
- P?s?reanu, Corina S [editor.]
- Salaün, Gwen [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7684
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
|
