792422
9780412794902
Formal Description Techniques IX Theory, Application and Tools Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica
by Gotzhein, R., Bredereke, J.
8823
List Price
Discount
44% Off
You Save
$168.85
About this item
- Condition: New
- Provider: Bookjunction Contact
- Provider Rating: 74%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
Product details
- ISBN-13: 9780412794902
- ISBN: 041279490X
- Publisher: Springer
AUTHOR
SUMMARY
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems.Gotzhein, R. is the author of 'Formal Description Techniques IX Theory, Application and Tools Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica' with ISBN 9780412794902 and ISBN 041279490X.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
