Teruo Higashino – författare
Visar alla böcker från författaren Teruo Higashino.
9 produkter
Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Av Tadanori Mizuno, Teruo Higashino m. fl.
Inbunden, 1995
2139 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Av Atsushi Togashi, Tadanori Mizuno m. fl.
Inbunden, 1997
2929 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Av Atsushi Togashi, Tadanori Mizuno m. fl.
Häftad, 2013
2849 kr
Lägg i varukorg
Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Av Tadanori Mizuno, Teruo Higashino m. fl.
Häftad, 2013
2139 kr
Lägg i varukorg
Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Av Teruo Higashino, Yoshiaki Katayama m. fl.
Häftad, 2013
739 kr
Lägg i varukorg
Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
Häftad, 2005
739 kr
Lägg i varukorg
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
Av Kenji Suzuki, Teruo Higashino m. fl.
Häftad, 2008
739 kr
Lägg i varukorg
Formal Techniques for Networked and Distributed Systems – FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Av Kenji Suzuki, Teruo Higashino m. fl.
Häftad, 2008
739 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Av Kedar Namjoshi, Tomohiro Yoneda m. fl.
Häftad, 2007
739 kr
Lägg i varukorg