Resultados
|
|
1.
|
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. por
- Namjoshi, Kedar S [editor.]
- Yoneda, Tomohiro [editor.]
- Higashino, Teruo [editor.]
- Okamura, Yoshio [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4762
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
|
|
|
3.
|
Stabilization, Safety, and Security of Distributed Systems : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita. por
- Higashino, Teruo [editor.]
- Katayama, Yoshiaki [editor.]
- Masuzawa, Toshimitsu [editor.]
- Potop-Butucaru, Maria [editor.]
- Yamashita, Masafumi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8255
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.
|
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa. por
- Suzuki, Kenji [editor.]
- Higashino, Teruo [editor.]
- Ulrich, Andreas [editor.]
- Hasegawa, Toru [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5047
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
