Formal Description Techniques and Protocol Specification, Testing and Verification (IFIP Advances in Information and Communication Technology)

by: Stan Budkowski · Ana Cavalli · Elie Najm

Springer · 1998

Hardcover

details (United Kingdom).

details (USA).

details (Canada).

details (Germany).

details (France).

ISBN: 978-0-412-84760-8

ISBN-10: 0-412-84760-4