Atsushi Togashi - Böcker
Visar alla böcker från författaren Atsushi Togashi. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Inbunden, Engelska, 1997
2 173 kr
Skickas inom 10-15 vardagar
Addressing formal description techniques (FDTs) applicable to distributed systems and communication protocols, this work aims to present the theory, application, tools and industrialization of FDTs. Some of the topics covered include: FDT-based system and protocol engineering and implementation; corporate, strategic and financial consequences of FDT; use, protocol testing and synthesis; and performance modelling and analysis. This book should be of interest to computer scientists; engineers; professional and academic researchers involved in distributed systems and communication protocols; professionals in the telecommunications industry; and students and lecturers in computer science, engineering and telecommunications.
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Engelska, 2013
634 kr
Skickas inom 5-8 vardagar
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Häftad, Engelska, 2013
2 110 kr
Skickas inom 10-15 vardagar
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).