Formal Techniques for Networked and Distributed Systems - FORTE...

Cover Type: Paperback with 371 pages
Published by: Springer
Edition: 1st Edition December 5, 2002
Written in: English
ISBN 10 Number: 3540001417
ISBN 13 Number: 978-3540001416
Book Dimensions: 9.2 x 6.1 x 0.8 inches
Weighs: 1.2 pounds <a href="http://www.amazon.com/gp/help/seller/shipping.html/105-8624108-7076467?ie=UTF8&amp;seller=ATVPDKIK">

Buy Formal Techniques for Networked and Distributed Systems - FORTE... here, one of many Distributed Systems books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Distributed Systems > Item 627

	Formal Techniques for Networked and Distributed Systems - FORTE...
	by Doron A. Peled and Moshe Y. Vardi	$67.86 At Amazon on 6-27-2008.

*Features* Cover Type: Paperback with 371 pages Published by: Springer Edition: 1st Edition December 5, 2002 Written in: English ISBN 10 Number: 3540001417 ISBN 13 Number: 978-3540001416 Book Dimensions: 9.2 x 6.1 x 0.8 inches Weighs: 1.2 pounds *Book Description* This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. Back To Top
Formal Techniques for Networked and Distributed Systems - FORTE... ~~List Price: $85.00~~ Available from Amazon Price: $67.86 Updated on 6-27-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Formal Techniques for Networked and Distributed Systems - FORTE... and other related Distributed Systems Books here at Rbookshop.com. To view more books about Distributed Systems please use the previous and next buttons near the top of this page.