Automated Technology for Verification and Analysis
Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Häftad, 2007
561 kr
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
AvYoshio Okamura,Teruo Higashino
E-bok
PDF, Engelska, 2007708 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
Del 12913
Hardware and Software: Verification and Testing
Avi Ziv, Andreas Zeller, Kedar Namjoshi
E-bok
2011708 kr
Hardware and Software: Verification and Testing
Kedar Namjoshi, Andreas Zeller, Avi Ziv
Häftad, 2011
561 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Inbunden, 1997
2 221 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Häftad, 2013
2 156 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino, Kenji Suzuki
E-bok
2008708 kr