Bokus

Teruo Higashino

Visar alla böcker från författaren Teruo Higashino. Handla med fri frakt och snabb leverans.

  1. Protocol Test Systems

    Protocol Test Systems

    2013

  2. Formal Description Techniques and Protocol Specification, Testing and Verification

    Formal Description Techniques and Protocol Specification, Testing and Verification

    1997

  3. Stabilization, Safety, and Security of Distributed Systems

    Stabilization, Safety, and Security of Distributed Systems

    2013

  4. Formal Description Techniques and Protocol Specification, Testing and Verification

    Formal Description Techniques and Protocol Specification, Testing and Verification

    2013

  5. Principles of Distributed Systems

    Principles of Distributed Systems

    2005

  6. Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

    Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

    2013

  7. Testing of Software and Communicating Systems

    Testing of Software and Communicating Systems

    2008

  8. Formal Techniques for Networked and Distributed Systems – FORTE 2008

    Formal Techniques for Networked and Distributed Systems – FORTE 2008

    2008

  9. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    2007