Resultados
|
|
1.
|
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.
|
|
|
2.
|
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. por
- Bensalem, Saddek [editor.]
- Peled, Doron A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5779
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
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.
|
