| Record ID | marc_loc_2016/BooksAll.2016.part30.utf8:199664682:1380 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part30.utf8:199664682:1380?format=raw |
LEADER: 01380cam a22003014a 4500
001 2003060987
003 DLC
005 20130530084823.0
008 030821s2003 gw a b 101 0 eng
010 $a 2003060987
020 $a3540200835
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.754$b.F67 2003
082 00 $a005.3$222
111 2 $aInternational School on Formal Methods for the Design of Computer, Communication and Software Systems$n(3rd :$d2003 :$cBertinoro, Italy)
245 10 $aFormal methods for software architectures :$bThird International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /$cMarco Bernardo, Paola Inverardi (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c2003.
300 $avi, 285 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v2804
504 $aIncludes bibliographical references and index.
650 0 $aReal-time data processing$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComputer systems$vCongresses.
650 0 $aComputer software$vCongresses.
700 1 $aBernardo, Marco.
700 1 $aInverardi, Paola.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0813/2003060987-d.html