Norio Shiratori – författare
Visar alla böcker från författaren Norio Shiratori. Handla med fri frakt och snabb leverans.
6 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), …
