Formal Description Techniques VII

Formal Description Techniques VII

4.11 - 1251 ratings - Source

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.As an operating system is a very complex concurrent system, the use of FDTs facilitates the abstraction and ... different policies of resource management In this way we can study the behaviour of alternate solutions in order to choose the best. ... [8] A. Silverschatz, J. Peterson and P. Galvin. Operating Systems Concepts, Third Edition. ... [II] SOE/ESTELLE (Syntax Oriented Editor for Estelle) Usera#39;s Manual.

Title:Formal Description Techniques VII
Author: D. Hogrefe, S. Leue
Publisher:Springer - 1995-02-28

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA