Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (33 chapters)
-
New Generation Networks and Applications
-
Verification Technique
Editors and Affiliations
Bibliographic Information
Book Title: Formal Description Techniques and Protocol Specification, Testing and Verification
Book Subtitle: FORTE X / PSTV XVII ’97
Editors: Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35271-8
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1997
Hardcover ISBN: 978-0-412-82060-1Published: 31 October 1997
Softcover ISBN: 978-1-4757-5260-1Published: 11 January 2013
eBook ISBN: 978-0-387-35271-8Published: 05 June 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XI, 550
Topics: Computer Communication Networks, Signal, Image and Speech Processing