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

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
February 26, 2022 Edited by ImportBot import existing book
September 25, 2020 Edited by MARC Bot import existing book
December 28, 2011 Created by LC Bot import new book