Quantity:

More Buying Choices

Have one to sell? Sell yours here

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28) [Hardcover]

Jianping Wu (Editor), Samuel T. Chanson (Editor), Quiang Gao (Editor)

3.0 out of 5 stars See all reviews (1 customer review) |

Price:	$299.00 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	Special Offers Available
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Usually ships within 1 to 3 weeks.
Ships from and sold by Amazon.com. Gift-wrap available.

FREE Two-Day Shipping for students on millions of items. Learn more

Book Description

ISBN-10: 0792386469 | ISBN-13: 978-0792386469 | Publication Date: September 30, 1999 | Edition: 1

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Special Offers and Product Promotions

Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)

Product Details

Hardcover: 512 pages
Publisher: Springer; 1 edition (September 30, 1999)
Language: English
ISBN-10: 0792386469
ISBN-13: 978-0792386469
Product Dimensions: 9.5 x 6.3 x 1.3 inches
Shipping Weight: 2.1 pounds (View shipping rates and policies)

Average Customer Review: 3.0 out of 5 stars See all reviews (1 customer review)

Amazon Best Sellers Rank: #8,056,266 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

1 Review

5 star:		(0)
4 star:		(0)
3 star:		(1)
2 star:		(0)
1 star:		(0)

Average Customer Review

3.0 out of 5 stars (1 customer review)

Share your thoughts with other customers:

Create your own review

Most Helpful Customer Reviews

3.0 out of 5 stars Protocol Engineering, March 26, 2003

leeying (Wuhan China) - See all my reviews

This review is from: Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28) (Hardcover)

I am intresting in Protocol Engineering . I want to buy this
book but I don't know how to pay in china

Help other customers find the most helpful reviews

Was this review helpful to you? Yes No

Report abuse | Permalink

Comment Comment

Share your thoughts with other customers: Create your own review

› See the customer review...

Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!

Inside This Book (learn more)

First Sentence:
It is widely acknowledged that the model of extended FSM (EFSM) is a very powerful model for verification and test derivation. Read the first page

Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
verdict capability, global timed bisimulation, weak timed bisimulation, black box automaton, interoperability test cases, test suite derivation, distinguishing machine, quotient transition system, transition reordering, connection management part, separate state diagrams, uncovered transitions, mbuf chain, synchronous testing, black box checking, global bisimulation, model extraction process, rekey messages, test description language, interoperability test suite, embedded testing, transition coverage, timed bisimilar, nondeterministic strategy, prototyping framework

Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, International Workshop, Prentice Hall, Single Pulser, Bus Arbiter, Open Systems Interconnection, Protocol Test Systems, Testing of Communicating Systems, Computer-Aided Verification, Oxford University, Springer Verlag, Bell Laboratories, Global Event, Lucent Technologies, New York, Committee Draft, Elsevier Science Publishers, Forum Society, Information Technology, North Holland, Cheju Island, Computer Aided Verification, Computer Systems, Concurrent Path

New!
Books on Related Topics | Concordance | Text Stats

Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!

Citations (learn more)

This book cites 34 books:

Model Checking by Edmund M. Clarke Jr. on 5 pages
Communication and Concurrency (Prentice Hall International Series in Computer Science) by Robin Milner on 4 pages
Design And Validation Of Computer Protocols by Gerard J. Holzmann on 4 pages
Software Engineering (Series on Computer Science & Applications) by Roger Y. Lee on page 149, page 239, and page 355
Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare on page 201, page 331, and page 451

See all 34 books this book cites

5 books cite this book:

Books on Related Topics (learn more)

Formal Approaches to Software Testing by Andreas Ulrich

Discusses:

Testing of Communicating Systems XIV - Applications to Internet Technologies and Services by Ina Schieferdecker

Discusses:

Lectures on Concurrency and Petri Nets by J�rg Desel

Discusses:

Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig

Discusses:

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Textbook forum Never Again	31	1 hour ago
Textbook forum Textbook Buyback	3	1 day ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	5 days ago
Textbook forum Never buy school textbooks. Download them to your reading device or computer	3	8 days ago
Textbook forum Buyer requested return but I haven't been paid by amazon yet?	2	14 days ago
Textbook forum Instructor Edition Textbooks?	5	15 days ago