Hoppa till sidans huvudinnehåll

Teruo Higashino - Böcker

Visar alla böcker från författaren Teruo Higashino.
9 produkter

Protocol Test Systems

7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

AvTadanori Mizuno,Teruo Higashino m. fl.

Inbunden, Engelska, 1995

2 009 kr

Skickas inom 10-15 vardagar

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

AvAtsushi Togashi,Tadanori Mizuno m. fl.

Inbunden, Engelska, 1997

2 669 kr

Skickas inom 10-15 vardagar

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

AvAtsushi Togashi,Tadanori Mizuno m. fl.

Häftad, Engelska, 2013

2 669 kr

Skickas inom 10-15 vardagar

Protocol Test Systems

7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

AvTadanori Mizuno,Teruo Higashino m. fl.

Häftad, Engelska, 2013

2 009 kr

Skickas inom 10-15 vardagar

Stabilization, Safety, and Security of Distributed Systems

15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

AvTeruo Higashino,Yoshiaki Katayama m. fl.

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Principles of Distributed Systems

8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

AvTeruo Higashino

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar

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

AvKenji Suzuki,Teruo Higashino m. fl.

Häftad, Engelska, 2008

689 kr

Skickas inom 10-15 vardagar

Formal Techniques for Networked and Distributed Systems – FORTE 2008

28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

AvKenji Suzuki,Teruo Higashino m. fl.

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

AvKedar Namjoshi,Tomohiro Yoneda m. fl.

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar