10 results
Type of media (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
10 results

Your search for Teruo Higashino

  1. Cover: Stabilization, Safety, and Security of Distributed Systems - Springer
    Teruo Higashino | Yoshiaki Katayama | Toshimitsu Masuzawa
    Stabilization, Safety, and Security of Distributed Systems
    15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
    10/2013
    Springer
    9783319030890 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Stabilization, Safety, and Security of Distributed Systems - Springer
    Teruo Higashino | Yoshiaki Katayama | Toshimitsu Masuzawa
    Stabilization, Safety, and Security of Distributed Systems
    15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
    11/2013
    Springer
    9783319030883 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  3. Cover: Protocol Test Systems - Springer
    Tadanori Mizuno | Teruo Higashino | Norio Shiratori
    Protocol Test Systems
    7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
    01/2013
    Springer
    9781475763102 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  4. Cover: Formal Description Techniques and Protocol Specification, Testing and Verification - Springer
    Atsushi Togashi | Tadanori Mizuno | Norio Shiratori
    Formal Description Techniques and Protocol Specification, Testing and Verification
    FORTE X / PSTV XVII '97
    01/2013
    Springer
    9781475752601 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  5. Cover: Testing of Software and Communicating Systems - Springer
    Kenji Suzuki | Teruo Higashino | Andreas Ulrich
    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
    05/2008
    Springer
    9783540685142 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Formal Techniques for Networked and Distributed Systems - FORTE 2008 - Springer
    Kenji Suzuki | Teruo Higashino | Keiichi Yasumoto
    Formal Techniques for Networked and Distributed Systems - FORTE 2008
    28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
    05/2008
    Springer
    9783540688549 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Automated Technology for Verification and Analysis - Springer
    Kedar Namjoshi | Tomohiro Yoneda | Teruo Higashino
    Automated Technology for Verification and Analysis
    5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
    10/2007
    Springer
    9783540755951 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Principles of Distributed Systems - Springer
    Teruo Higashino
    Principles of Distributed Systems
    8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
    07/2005
    Springer
    9783540273240 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Formal Description Techniques and Protocol Specification, Testing and Verification - Chapman and Hall
    Atsushi Togashi | Tadanori Mizuno | Norio Shiratori
    Formal Description Techniques and Protocol Specification, Testing and Verification
    FORTE X / PSTV XVII '97
    10/1997
    Chapman and Hall
    9780412820601 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 10-20 days
  10. Cover: Protocol Test Systems - Chapman and Hall
    Tadanori Mizuno | Teruo Higashino | Norio Shiratori
    Protocol Test Systems
    7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
    06/1995
    Chapman and Hall
    9780412711602 (ISBN)
    Book
    Hardback
    Other editions
    €164.50
    Shipment within 10-20 days