Items related to 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 ... and Protocol Specification, Testing and V - Softcover
- PublisherSpringer
- Publication date2013
- ISBN 10 1475752636
- ISBN 13 9781475752632
- BindingPaperback
- LanguageEnglish
- Number of pages428
- EditorBolognesi Tommaso, Latella Diego
Other Popular Editions of the Same Title
Search results for Formal Methods for Distributed System Development:...
Stock Image
Formal Methods for Distributed System Development
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752632
Quantity: Over 20 available
Stock Image
Formal Methods for Distributed System Development
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752632
Quantity: Over 20 available
Stock Image
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475752632_new
Quantity: Over 20 available