Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Inbunden
2 179 kr
Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
AvTadanori Mizuno,Teruo Higashino
Engelska, 2013
634 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Häftad
2 116 kr
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Atsushi Togashi, Tadanori Mizuno
634 kr
Testing of Software and Communicating Systems
Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
Häftad
550 kr
Del 8255
Stabilization, Safety, and Security of Distributed Systems
Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
Häftad
550 kr
Automated Technology for Verification and Analysis
Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Häftad
550 kr
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Häftad
550 kr