Title:
Formal and practical aspects of autonomic computing and networking : specification, development, and verification
Publication Information:
Hershey, PA : Information Science Reference, c2012
Physical Description:
xii, 431 p. : ill. ; 29 cm.
ISBN:
9781609608453
General Note:
"Premier reference source"--Cover
Abstract:
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010275453 | QA76.9.A97 F67 2012 f | Open Access Book | Book | Searching... |