Name: formal techniques for networked and distributed systems
Price: 6461.00 TWD
Availability: InStock
ISBN: 9780792374701

portada formal techniques for networked and distributed systems

formal techniques for networked and distributed systems

Type

Physical Book

Publisher

Springer

Language

English

Pages

472

ISBN

0792374703

ISBN13

9780792374701

Synopsis "formal techniques for networked and distributed systems"

this book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. the theme of the book is addressed by specialized papers in the following areas: formal methods in software development, process algebra, timed automata, theories and applications of verification, distributed systems testing, test sequence derivation. in addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. this volume contains the selected proceedings of the international conference on formal techniques for networked and distributed systems (forte 2001), which was sponsored by the international federation for information processing (ifip) and held in cheju island, korea in august 2001. forte 2001 combines two prestigious conferences, forte (formal description techniques for distributed systems and communication protocols) and pstv (protocol specification testing and verification), and has more than 20 years of history. formal techniques for networked and distributed systems will be essential reading for researchers and engineers working in the fields of communications, test equipment r&d, and telecommunications, as well as to software engineering tool developers.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

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