Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Formal Methods for Protocol Engineering and Distri...

Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX'99

Formal Methods for Protocol Engineering and Distributed Systems( )
Editor: Jianping Wu, Jianping
Chanson, Samuel T.
Quiang Gao, Quiang
Series title:IFIP Advances in Information and Communication Technology Ser.
ISBN:978-1-4757-5270-0
Publication Date:Apr 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $299.00
Book Description:

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...
    More Description

Book Details
Pages:500
Detailed Subjects: Computers / Networking / Network Protocols
Computers / Systems Architecture / Distributed Systems & Computing
Physical Dimensions (W X L X H):8.19 x 10.881 x 0.406 Inches
Book Weight:2.77 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

The Invention of Nature
Wulf, Andrea
Paperback: $17.00
The Burning Edge
Mofina, Rick
Electronic book text:
The Odyssey
Homer
Hardback: $12.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.