Springer Book Archives: eBooks only 8.99 each! Save now >>

IFIP Advances in Information and Communication Technology
cover

Formal Description Techniques IX

Theory, application and tools

Editors: Gotzhein, R., Bredereke, J. (Eds.)

Buy this book

eBook $299.00
price for USA in USD (gross)
  • ISBN 978-0-387-35079-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $377.00
price for USA in USD
  • ISBN 978-0-412-79490-2
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Table of contents (32 chapters)

Table of contents (32 chapters)
  • The Video Dial Tone Service and the ATM Environment

    Pages 3-25

    Danthine, André

  • Computer-Assisted Verification of an Algorithm for Concurrent Timestamps

    Pages 29-44

    Petrov, Tsvetomir P. (et al.)

  • Design and Optimization of High-Performance Protocols with the DO-IT Toolbox

    Pages 45-60

    Mitschele-Thiel, Andreas (et al.)

  • Tool support for algebraic specifications of data in SDL-92

    Pages 61-76

    Mansurov, N. N. (et al.)

  • Automating Performance Optimisation by Heuristic Analysis of A Formal Specification

    Pages 77-92

    Hoschka, Philipp

Buy this book

eBook $299.00
price for USA in USD (gross)
  • ISBN 978-0-387-35079-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $377.00
price for USA in USD
  • ISBN 978-0-412-79490-2
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Description Techniques IX
Book Subtitle
Theory, application and tools
Editors
  • R. Gotzhein
  • J. Bredereke
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1996
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35079-0
DOI
10.1007/978-0-387-35079-0
Hardcover ISBN
978-0-412-79490-2
Series ISSN
1868-4238
Edition Number
1
Number of Pages
X, 518
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.