Skip to main content alibris logo

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

by

Write The First Customer Review
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification - Cong-Vinh, Phan (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.

loading
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification 2011, Information Science Reference, Hershey

ISBN-13: 9781609608453

Hardcover