Formal and practical aspects of autonomic computing and networking
specification, development, and verification
Cong-Vinh, Phan
text
pau
Hershey, PA
Information Science Reference
c2012
2012
monographic
eng
xii, 431 p. : ill. ; 29 cm.
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher
specialized
[edited by] Phan Cong-Vinh
"Premier reference source"--Cover
Includes bibliographical references and index
Autonomic computing
Computer networks
Formal methods (Computer science)
9781609608453 (hardcover)
1609608453 (hardcover)
9781609608460 (ebook)
UMP
120730
20251125093149.0
vtls000063339