Resultados
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Runtime verification : 5th international conference, rv 2014, toronto, on, canada, september 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka. por
- Bonakdarpour, Borzoo [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8734
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. por
- Piterman, Nir [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7795
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.
|
