Formal Techniques for Networked and Distributed Systems, Forte 2003 (Paperback: 431 pages)
- Overview |
- Compare Prices |
- Publishers Notes
Product Details: Formal Techniques for Networked and Distributed Systems, Forte 2003
| Author: | Hartmut Konig, Germany) Forte 200 (2003 Berlin, Monika Heiner |
| Editor: | Adam Wolisz |
| Edited by: | Monika Heiner, Hartmut Kvnig |
| Format: | Paperback: 431 pages. |
| Publisher: | Springer Verlag (12/01/2003) |
| ISBN: | 3540201750 |
| ISBN13: | 9783540201755 |
| Reading Level: |
Publisher Notes: Formal Techniques for Networked and Distributed Systems, Forte 2003
- This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.
The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.
Compare Prices: Formal Techniques for Networked and Distributed Systems, Forte 2003
| Store | Store Rating | Price | Notes/Coupons | |
|---|---|---|---|---|
| $108.98Total Price N/A | New Item free us shipping for items over $25!!! | Go to Store |
Rate & Write a Review: Formal Techniques for Networked and Distributed Systems, Forte 2003
Rate & Write a Review: Formal Techniques for Networked and Distributed Systems, Forte 2003
Please send us your feedback on our site. • Find, Compare, Read Reviews & Buy Formal Techniques for Networked and Distributed Systems, Forte 2003 - Online @ Yahoo! Shopping • Want to see your products in Yahoo! Shopping? Build your own online store or Advertise with us. Current Advertisers Sign in • Make money with Yahoo! Shopping APIs, now powering Yahoo! Tech. • Learn more about our paid syndication program. • Sitemap • Top Searches • All Brands
Information about prices, products, services and merchants is provided by third parties and is for informational purposes only. Yahoo! does not represent or warrant the accuracy or reliability of the information, and will not be liable for any errors, omissions, or delays in this information or any losses, injuries, or damages arising from its display or use.