Contributions

  • Mizuno, Tadanori. - Contributor
  • International Federation for Information Processing. - Contributor
  • IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification (17th : 1997 : Osaka, Japan) - Contributor

Publication

1997 - Springer, London, England

Language

English

Word Count

137,500 words, Guess

Page Count

550 pages

Identifiers

  • Internet Archiveformaldescriptio97ulri
  • ISBN-100412820609
  • ISBN-139780412820601
  • Goodreads3104178
  • Better World Books9780412820601
and 2 more

Classifications

  • LCCTK5105.5-5105.9

Alternate Titles

  • FORTE X.
  • PSTV XVII '97.

Subjects

Other Editions

  • Formal description techniques and protocol specification, testing and verification: FORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, JapanSpringer1997-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!