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

Download

Formal Methods for Distributed System Development

Formal Methods for Distributed System Development

FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy

Formal Methods for Distributed System Development( )
Editor: Bolognesi, Tommaso
Latella, Diego
Series title:IFIP Advances in Information and Communication Technology Ser.
ISBN:978-1-4757-5264-9
Publication Date:Feb 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $299.00
Book Description:

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods­ Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of...
More Description

Book Details
Pages:408
Detailed Subjects: Computers / Systems Architecture / Distributed Systems & Computing
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.339 Inches
Book Weight:1.434 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

When in French
Collins, Lauren
Hardback: $27.00
Behind Closed Doors
Paris, B. A.
Hardback: $25.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.