Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII '97 (Paperback, Softcover reprint of the original 1st ed. 1997)
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Ships in 10 - 15 working days