Teruo Higashino - Böcker
Inbunden, Engelska, 1995
2 109 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Av Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Inbunden, Engelska, 1997
2 869 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Av Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Häftad, Engelska, 2013
2 789 kr
Protocol Test Systems
Av Tadanori Mizuno, Teruo Higashino, Norio Shiratori, Tadanori Mizuno, Teruo Higashino
Häftad, Engelska, 2013
2 109 kr
Stabilization, Safety, and Security of Distributed Systems
Av Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
Häftad, Engelska, 2013
729 kr
Häftad, Engelska, 2005
729 kr
Testing of Software and Communicating Systems
Av Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
Häftad, Engelska, 2008
709 kr
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Av Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Häftad, Engelska, 2008
729 kr
Automated Technology for Verification and Analysis
Av Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Häftad, Engelska, 2007
729 kr