Número de Cutter-SanbornT645fEntrada «Tog» → 645 · marca de obra “f”

Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 9780387352718

Forte X / Pstv XVII '97

Editorial
Autor	Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Formal Description Techniques and Protocol Specification, Testing and Verification (2013) | Cutter Number