IFIP Advances in Information and Communication Technology

Formal Description Techniques VII

Editors: Hogrefe, D., Leue, S. (Eds.)

Buy this book

eBook 179,99 €
price for Spain (gross)
  • ISBN 978-0-387-34878-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 227,76 €
price for Spain (gross)
  • ISBN 978-0-412-64450-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Reviews

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network

Table of contents (40 chapters)

  • Proving Performance Properties (even Probabilistic Ones)

    Lynch, Nancy

    Pages 3-20

  • Semantic-Oriented Description Techniques for Network Management Information Modeling

    Wu, Deh-Min

    Pages 23-36

  • A Service Request Description Language

    Popien, Claudia (et al.)

    Pages 37-52

  • Modelling and Verification of a Multiprocessor Realtime OS Kernel

    Cattel, Thierry

    Pages 55-70

  • Design of operating systems using the F.D.T. ESTELLE

    González, O. (et al.)

    Pages 71-86

Buy this book

eBook 179,99 €
price for Spain (gross)
  • ISBN 978-0-387-34878-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 227,76 €
price for Spain (gross)
  • ISBN 978-0-412-64450-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Description Techniques VII
Editors
  • D. Hogrefe
  • S. Leue
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1995
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-34878-0
DOI
10.1007/978-0-387-34878-0
Hardcover ISBN
978-0-412-64450-4
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XIV, 522
Topics