. "Juan, Eric Y. T. Compositional verification of concurrent and real-time systems" . "juanericytcompositionalverificationofconcurrentandrealtimesystems" . . . . "text" . . . . "English"@en . . . "Illustrations" . . . "bibliography" . . . "index" . _:b30iddOtlocdOtgovresourcesworks12684115 . _:b30iddOtlocdOtgovresourcesworks12684115 . _:b30iddOtlocdOtgovresourcesworks12684115 "QA76.58" . _:b30iddOtlocdOtgovresourcesworks12684115 ".J83 2002" . _:b30iddOtlocdOtgovresourcesworks12684115 . . "United States, Library of Congress" . _:b30iddOtlocdOtgovresourcesworks12684115 . . "used by assigner" . _:b44iddOtlocdOtgovresourcesworks12684115 . _:b44iddOtlocdOtgovresourcesworks12684115 . _:b44iddOtlocdOtgovresourcesworks12684115 "004/.35" . _:b44iddOtlocdOtgovresourcesworks12684115 _:b48iddOtlocdOtgovresourcesworks12684115 . _:b48iddOtlocdOtgovresourcesworks12684115 . _:b48iddOtlocdOtgovresourcesworks12684115 "21" . _:b44iddOtlocdOtgovresourcesworks12684115 "full" . _:b44iddOtlocdOtgovresourcesworks12684115 . . "United States, Library of Congress" . _:b58iddOtlocdOtgovresourcesworks12684115 . _:b58iddOtlocdOtgovresourcesworks12684115 . _:b58iddOtlocdOtgovresourcesworks12684115 . _:b58iddOtlocdOtgovresourcesworks12684115 . . . "Juan, Eric Y. T." . "1001 $aJuan, Eric Y. T." . _:b58iddOtlocdOtgovresourcesworks12684115 . . "Contributor" . _:b72iddOtlocdOtgovresourcesworks12684115 . _:b72iddOtlocdOtgovresourcesworks12684115 . _:b72iddOtlocdOtgovresourcesworks12684115 "Compositional verification of concurrent and real-time systems" . . . "Parallel processing (Electronic computers)"@en . "150 0$aParallel processing (Electronic computers)" . . . "Real-time data processing"@en . "150 0$aReal-time data processing" . . . "Computer systems--Verification"@en . _:b92iddOtlocdOtgovresourcesworks12684115 . _:b92iddOtlocdOtgovresourcesworks12684115 _:b93iddOtlocdOtgovresourcesworks12684115 . _:b92iddOtlocdOtgovresourcesworks12684115 _:b0100 . _:b93iddOtlocdOtgovresourcesworks12684115 . _:b93iddOtlocdOtgovresourcesworks12684115 . _:b93iddOtlocdOtgovresourcesworks12684115 "Computer systems"@en . _:b93iddOtlocdOtgovresourcesworks12684115 _:b97iddOtlocdOtgovresourcesworks12684115 . _:b97iddOtlocdOtgovresourcesworks12684115 _:b98iddOtlocdOtgovresourcesworks12684115 . _:b97iddOtlocdOtgovresourcesworks12684115 . _:b98iddOtlocdOtgovresourcesworks12684115 . _:b98iddOtlocdOtgovresourcesworks12684115 "Computer systems"@en . _:b0100 _:b101iddOtlocdOtgovresourcesworks12684115 . _:b0100 . _:b101iddOtlocdOtgovresourcesworks12684115 . _:b101iddOtlocdOtgovresourcesworks12684115 . _:b101iddOtlocdOtgovresourcesworks12684115 "Verification"@en . _:b101iddOtlocdOtgovresourcesworks12684115 _:b105iddOtlocdOtgovresourcesworks12684115 . _:b105iddOtlocdOtgovresourcesworks12684115 _:b106iddOtlocdOtgovresourcesworks12684115 . _:b105iddOtlocdOtgovresourcesworks12684115 . _:b106iddOtlocdOtgovresourcesworks12684115 . _:b106iddOtlocdOtgovresourcesworks12684115 "Verification"@en . "150 $aComputer systems$xVerification" . _:b111iddOtlocdOtgovresourcesworks12684115 . _:b111iddOtlocdOtgovresourcesworks12684115 . _:b111iddOtlocdOtgovresourcesworks12684115 _:b113iddOtlocdOtgovresourcesworks12684115 . _:b113iddOtlocdOtgovresourcesworks12684115 . _:b113iddOtlocdOtgovresourcesworks12684115 . _:b113iddOtlocdOtgovresourcesworks12684115 "Tsai, Jeffrey J.-P" . _:b111iddOtlocdOtgovresourcesworks12684115 . . "Contributor" . . . _:b124iddOtlocdOtgovresourcesworks12684115 . _:b124iddOtlocdOtgovresourcesworks12684115 . _:b124iddOtlocdOtgovresourcesworks12684115 . _:b124iddOtlocdOtgovresourcesworks12684115 "SECS 676" . _:b124iddOtlocdOtgovresourcesworks12684115 . . "The Kluwer international series in engineering and computer science" . _:b133iddOtlocdOtgovresourcesworks12684115 . _:b133iddOtlocdOtgovresourcesworks12684115 . _:b133iddOtlocdOtgovresourcesworks12684115 "The Kluwer international series in engineering and computer science" . _:b133iddOtlocdOtgovresourcesworks12684115 "4" . "1304 $aThe Kluwer international series in engineering and computer science," . . . _:b143iddOtlocdOtgovresourcesworks12684115 . _:b143iddOtlocdOtgovresourcesworks12684115 . _:b143iddOtlocdOtgovresourcesworks12684115 "Compositional verification of concurrent and real-time systems" . "Boston: Kluwer Academic Publishers; c2002" . _:b149iddOtlocdOtgovresourcesworks12684115 . _:b149iddOtlocdOtgovresourcesworks12684115 . _:b149iddOtlocdOtgovresourcesworks12684115 _:b151iddOtlocdOtgovresourcesworks12684115 . _:b151iddOtlocdOtgovresourcesworks12684115 . _:b151iddOtlocdOtgovresourcesworks12684115 "DLC marc2bibframe2 v2.5.0" . _:b151iddOtlocdOtgovresourcesworks12684115 "2024-02-23T19:10:56.057743-05:00"^^ . _:b149iddOtlocdOtgovresourcesworks12684115 . . "changed" . _:b149iddOtlocdOtgovresourcesworks12684115 . . "core" . _:b149iddOtlocdOtgovresourcesworks12684115 . . "Anglo-American cataloguing rules" . _:b149iddOtlocdOtgovresourcesworks12684115 _:b169iddOtlocdOtgovresourcesworks12684115 . _:b169iddOtlocdOtgovresourcesworks12684115 . _:b169iddOtlocdOtgovresourcesworks12684115 "12684115" . _:b169iddOtlocdOtgovresourcesworks12684115 . . "United States, Library of Congress" . _:b149iddOtlocdOtgovresourcesworks12684115 "2008-03-10T12:35:29"^^ . _:b149iddOtlocdOtgovresourcesworks12684115 "2002-02-12"^^ . _:b149iddOtlocdOtgovresourcesworks12684115 "=906 $a 7 $b cbc $c orignew $d 1 $e ocip $f 20 $g y-gencatlg" . _:b149iddOtlocdOtgovresourcesworks12684115 "=925 0 $a acquire $b 2 shelf copies $x policy default" . _:b149iddOtlocdOtgovresourcesworks12684115 "=955 $a kay 2002-02-12 to ASCD RUSH; $c jf03 2002-02-20 to Subj.; 2002-02-21 jf01 to sl $e jf12 2002-02-25 to dewey $a aa05 2002-02-27 $a ps15 2002-05-21 bk rec'd, to CIP ver. $f pv11 2002-06-03 CIP ver. to BCCD; copy 2 added jf16 to BCCD 08-23-02" . _:b149iddOtlocdOtgovresourcesworks12684115 . . "United States, Library of Congress" . _:b149iddOtlocdOtgovresourcesworks12684115 . . "United States, Library of Congress" . _:b149iddOtlocdOtgovresourcesworks12684115 . . "Program for Cooperative Cataloging" . _:b149iddOtlocdOtgovresourcesworks12684115 "=985 $e Interim2002" .