Formal and practical aspects of autonomic computing and networking

specification, development, and verification

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Formal and practical aspects of autonomic com ...
Phan Cong-Vinh
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by ImportBot
February 26, 2022 | History

Formal and practical aspects of autonomic computing and networking

specification, development, and verification

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Language
English
Pages
431

Buy this book

Edition Availability
Cover of: Formal and practical aspects of autonomic computing and networking

Add another edition?

Book Details


Edition Notes

"Premier reference source"--Cover.

Includes bibliographical references and index.

Published in
Hershey, PA

Classifications

Dewey Decimal Class
004
Library of Congress
QA76.9.A97 F67 2012, QA76.9.A97F67 2012

The Physical Object

Pagination
xii, 431 p. :
Number of pages
431

ID Numbers

Open Library
OL25138751M
ISBN 10
1609608453, 1609608461, 160960847X
ISBN 13
9781609608453, 9781609608460, 9781609608477
LCCN
2011025143
OCLC/WorldCat
741937579

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 26, 2022 Edited by ImportBot import existing book
September 25, 2020 Edited by MARC Bot import existing book
February 1, 2012 Edited by LC Bot import new book
December 28, 2011 Created by LC Bot Imported from Library of Congress MARC record