Formal and practical aspects of autonomic computing and networking

An edition of Formal and practical aspects of autonomic computing and networking (2012)

Formal and practical aspects of autonomic computing and networking

specification, development, and verification

By Phan Cong-Vinh

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2012

Publisher

Information Science Reference

Language

eng

Pages

439

Description:

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

subjects: Computer networks, Formal methods (Computer science), Autonomic computing, Electronic data processing, System design, Computer science