Teruo Higashino – författare
Visar alla böcker från författaren Teruo Higashino. Handla med fri frakt och snabb leverans.
17 produkter
Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Av Norio Shiratori, Teruo Higashino m. fl.
E-bok, 2013
2111 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Av Teruo Higashino, Norio Shiratori m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
FORTE/PSTV ''97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, …
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
1643 kr
Lägg i varukorg
This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS'94) which was held in Tokyo, Japan on November 8-10, 1994. After having been organized in Vancouver (Canada, 1988), Berlin (Germany, 1989), McLean (USA, 1990), Leidschendam (The Netherlands, 1991), …
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Av Atsushi Togashi, Tadanori Mizuno m. fl.
Inbunden, 1997
2253 kr
Lägg i varukorg
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, …
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Av Atsushi Togashi, Tadanori Mizuno m. fl.
Häftad, 2013
2188 kr
Lägg i varukorg
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, …
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
1643 kr
Lägg i varukorg
This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS'94) which was held in Tokyo, Japan on November 8-10, 1994. After having been organized in Vancouver (Canada, 1988), Berlin (Germany, 1989), McLean (USA, 1990), Leidschendam (The Netherlands, 1991), …
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
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from …
Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Av Masafumi Yamashita, Maria Potop-Butucaru m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from …
Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
Häftad, 2005
569 kr
Lägg i varukorg
The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15-17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organizationsof OPODIS were held in Luzarches(1997), …
Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
E-bok, 2005
755 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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised …
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 Toru Hasegawa, Andreas Ulrich m. fl.
E-bok, 2008
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised …
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
569 kr
Lägg i varukorg
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing …
Formal Techniques for Networked and Distributed Systems - FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Av Khaled El-Fakih, Keiichi Yasumoto m. fl.
E-bok, 2008
734 kr
Lägg i varukorg
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, …
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Av Yoshio Okamura, Teruo Higashino m. fl.
E-bok, 2007
732 kr
Lägg i varukorg
