| Record ID | marc_loc_updates/v40.i20.records.utf8:5559363:1978 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v40.i20.records.utf8:5559363:1978?format=raw |
LEADER: 01978nam a22004337a 4500
001 2010927591
003 DLC
005 20120512140712.0
008 100427s2010 gw a b 101 0 eng d
010 $a 2010927591
015 $a10,N21$2dnb
016 7 $a1002540356$2DE-101
020 $a9783642134630 (pbk.)
020 $a3642134637 (pbk.)
035 $a(OCoLC)ocn641458922
040 $aOHX$beng$cOHX$dGWDNB$dHEBIS$dBWX$dAZS$dOCLCQ$dYDXCP$dBTCTA$dOCLCQ$dDLC
042 $alccopycat
050 00 $aQA76.9.D5$bI573 2010
072 7 $aQA$2lcco
082 04 $a004.36$222/ger
111 2 $aInternational Conference on Formal Methods for Open Object-Based Distributed Systems$n(12th :$d2010 :$cAmsterdam, Netherlands)
245 10 $aFormal techniques for distributed systems :$bjoint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings /$cJohn Hatcliff, Elena Zucca (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2010.
300 $axii, 231, [2] p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v6117
490 1 $aLNCS sublibrary: SL 2-programming and software engineering
500 $aCopyright by IFIP International Federation for Information Processing.
504 $aIncludes bibliographical references and index.
650 0 $aElectronic data processing$xDistributed processing$vCongresses.
650 0 $aObject-oriented programming (Computer science)$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 07 $aVerteiltes System.$2swd
650 07 $aFormale Methode.$2swd
651 7 $aAmsterdam <2010>$2swd
700 1 $aHatcliff, John,$d1966-
700 1 $aZucca, Elena.
711 2 $aFORTE 2010$d(2010 :$cAmsterdam, Netherlands)
830 0 $aLecture notes in computer science ;$v6117.
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.