你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada formal methods for protocol engineering and distributed systems
formal methods for protocol engineering and distributed systemsformal methods for protocol engineering and distributed systems
Type
Physical Book
Publisher
Language
English
Pages
512
ISBN
0792386469
ISBN13
9780792386469

formal methods for protocol engineering and distributed systems

Cheaper New Book Imported to Taiwan
Delivery: 29 Oct - 11 Nov Shipping: 14 to 18 business days.
NT$ 6,375
Faster New Book Imported to Taiwan
Delivery: 16 Oct - 26 Oct Shipping: 5 to 6 business days.
NT$ 8,944
NT$ 6,375

Synopsis "formal methods for protocol engineering and distributed systems"

formal methods for protocol engineering and distributed systems addresses formal description techniques (fdts) applicable to distributed systems and communication protocols. it aims to present the state of the art in theory, application, tools an industrialization of fdts. among the important features presented are: fdt-based system and protocol engineering; fdt application to distributed systems; protocol engineeering; practical experience and case studies. formal methods for protocol engineering and distributed systems contains the proceedings of the joint international conference on formal description techniques for distributed systems and communication protocols and protocol specification, testing, and verification, which was sponsored by the international federation for information processing (ifip) and was held in beijing, china, in october 1999. this volume is suitable as a secondary text for a graduate level course on distributed systems or communications, and as a reference for researchers and industry practitioners.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews