Formal and practical aspects of autonomic computing and networking : specification, development, and verification / [edited by] Phan Cong-Vinh

Contributor(s):

Cong-Vinh, Phan

Material type: Text

TextPublication details: Hershey, PA : Information Science Reference, c2012Description: xii, 431 p. : ill. ; 29 cmISBN:

9781609608453 (hardcover)
1609608453 (hardcover)
9781609608460 (ebook)

Subject(s):

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Open Shelf	UMPLIB PEKAN	QA76.9.A97 F67 2012 f (Browse shelf(Opens below))	1	Available		0000073103

"Premier reference source"--Cover

Includes bibliographical references and index

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