| Record ID | marc_loc_updates/v40.i05.records.utf8:10929361:1363 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v40.i05.records.utf8:10929361:1363?format=raw |
LEADER: 01363cam a22003374a 4500
001 2011025143
003 DLC
005 20120126101539.0
008 110719s2012 paua b 001 0 eng
010 $a 2011025143
020 $a9781609608453 (hardcover)
020 $a1609608453 (hardcover)
020 $a9781609608460 (ebook)
020 $a1609608461 (ebook)
020 $a9781609608477 (print & perpetual access)
020 $a160960847X (print & perpetual access)
035 $a(OCoLC)ocn741937579
040 $aDLC$cDLC$dYDX$dYDXCP$dBWX$dDLC
042 $apcc
050 00 $aQA76.9.A97$bF67 2012
082 00 $a004$223
245 00 $aFormal and practical aspects of autonomic computing and networking :$bspecification, development, and verification /$c[edited by] Phan Cong-Vinh.
260 $aHershey, PA :$bInformation Science Reference,$cc2012.
300 $axii, 431 p. :$bill. ;$c29 cm.
500 $a"Premier reference source"--Cover.
504 $aIncludes bibliographical references and index.
520 $a"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.
650 0 $aAutonomic computing.
650 0 $aComputer networks.
650 0 $aFormal methods (Computer science)
700 1 $aCong-Vinh, Phan.