Resultados
|
|
1.
|
|
|
|
2.
|
From programs to systems. The systems perspective in computing : etaps workshop, fps 2014, in honor of joseph sifakis, grenoble, france, april 6, 2014. Proceedings / edited by Saddek Bensalem, Yassine Lakhneck, Axel Legay. por
- Bensalem, Saddek [editor.]
- Lakhneck, Yassine [editor.]
- Legay, Axel [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8415
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.
|
|
|
3.
|
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. por
- Bertacco, Valeria [editor.]
- Legay, Axel [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8244
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. por
- Legay, Axel [editor.]
- Bensalem, Saddek [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8174
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.
|
