| Record ID | marc_loc_2016/BooksAll.2016.part16.utf8:79262853:1238 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part16.utf8:79262853:1238?format=raw |
LEADER: 01238cam a2200277 a 4500
001 85004800
003 DLC
005 20111220085752.0
008 850311s1985 gw a b 001 0 eng
010 $a 85004800
020 $a0387152164 (U.S. : pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.D5$bD63 1985
082 00 $a001.64$219
245 00 $aDistributed systems :$bmethods and tools for specification : an advanced course /$cM.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1985.
300 $avi, 573 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v190
500 $aPrepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut für Informatik, Technische Universität München.
504 $aBibliography: p. [548]-564.
500 $aIncludes index.
650 0 $aElectronic data processing$xDistributed processing.
700 1 $aAlford, M. W.$q(Mack W.)
700 1 $aPaul, Manfred,$d1932-
700 1 $aSiegert, H. J.
710 2 $aTechnische Universität München.$bInstitut für Informatik.