Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Inbunden, 1997
2 221 kr
Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
E-bok
PDF, Engelska, 2005708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Testing of Software and Communicating Systems
Toru Hasegawa, Andreas Ulrich, Teruo Higashino, Kenji Suzuki
E-bok
2008687 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Häftad, 2013
2 156 kr
Automated Technology for Verification and Analysis
Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Häftad, 2007
561 kr
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Häftad, 2008
561 kr
Automated Technology for Verification and Analysis
Yoshio Okamura, Teruo Higashino, Tomohiro Yoneda, Kedar Namjoshi
E-bok
2007708 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino, Kenji Suzuki
E-bok
2008708 kr