Teruo Higashino | Akateeminen Kirjakauppa

Testing of Software and Communicating Systems - 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International W

Suzuki, Kenji; Higashino, Teruo; Ulrich, Andreas; Hasegawa, Toru
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Principles of Distributed Systems - 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised S

Higashino, Teruo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-1

Higashino, Teruo; Katayama, Yoshiaki; Masuzawa, Toshimitsu; Potop-Butucaru, Maria; Yamashita, Masafumi
Springer International Publishing AG
2013
Pehmeäkantinen kirja

51,10 €

Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
Chapman and Hall
1997
Kovakantinen kirja

182,70 €

Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Pr

Namjoshi, Kedar; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - 28th IFIP WG 6.1 International Conference Tokyo, Japan, J

Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Mizuno, Tadanori; Higashino, Teruo; Shiratori, Norio
Springer
1995
Kovakantinen kirja

137,30 €

Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
Springer-Verlag New York Inc.
2013
Pehmeäkantinen kirja

182,70 €

Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Mizuno, Tadanori; Higashino, Teruo; Shiratori, Norio
Springer
2013
Pehmeäkantinen kirja

137,30 €