| Record ID | marc_columbia/Columbia-extract-20221130-007.mrc:203331735:1620 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-007.mrc:203331735:1620?format=raw |
LEADER: 01620mam a22003374a 4500
001 3175095
005 20221020002012.0
008 010112t20012001nyua b 001 0 eng
010 $a 2001018392
020 $a0387952063 (alk. paper)
035 $a(OCoLC)ocm45804888
035 $9AUB7264CU
035 $a(NNC)3175095
035 $a3175095
040 $aDLC$cDLC$dC#P$dOHX$dOrLoB-B
042 $apcc
050 00 $aQA76.6$b.M528 2001
072 7 $aQA$2lcco
082 00 $a005.4/34$221
100 1 $aMisra, Jayadev.$0http://id.loc.gov/authorities/names/n87878182
245 12 $aA discipline of multiprogramming :$bprogramming theory for distributed applications /$cJayadev Misra.
260 $aNew York :$bSpringer,$c[2001], ©2001.
300 $axviii, 420 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aMonographs in computer science
504 $aIncludes bibliographical references (p. [397]-409) and index.
505 00 $g1.$tA Discipline of Multiprogramming --$g2.$tAction Systems --$g3.$tAn Object-Oriented View of Action Systems --$g4.$tSmall Examples --$g5.$tSafety Properties --$g6.$tProgress Properties --$g7.$tMaximality Properties --$g8.$tProgram Composition --$g9.$tConditional and Closure Properties --$g10.$tReduction Theorem --$g11.$tDistributed Implementation --$g12.$tA Logic for Seuss.
650 0 $aMultiprogramming (Electronic computers)$0http://id.loc.gov/authorities/subjects/sh85088387
830 0 $aMonographs in computer science.$0http://id.loc.gov/authorities/names/n96033210
852 00 $boff,eng$hQA76.6$i.M528 2001