| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:186004722:1719 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:186004722:1719?format=raw |
LEADER: 01719cam a22003858a 4500
001 4177142
005 20221027050303.0
008 030821s2003 gw 001 0 eng
010 $a 2003060987
016 7 $a968668097$2GyFmDB
020 $a3540200835
035 $a(OCoLC)ocm52942704
035 $a(NNC)4177142
035 $a4177142
040 $aDLC$cDLC$dOHX
042 $apcc
050 00 $aQA76.754$b.F67 2003
072 7 $aQ$2lcco
082 00 $a005.3$222
245 00 $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 2003 : advanced lectures /$cMarco Bernardo, Paola Inverardi (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c2003.
263 $a0308
300 $avi, 285 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v2804
500 $aIncludes index.
650 0 $aComputer software.$0http://id.loc.gov/authorities/subjects/sh85029534
650 0 $aComputer architecture.$0http://id.loc.gov/authorities/subjects/sh85029479
650 0 $aSystem design.$0http://id.loc.gov/authorities/subjects/sh85131736
650 0 $aFormal methods (Computer science)$0http://id.loc.gov/authorities/subjects/sh99003622
700 1 $aBernardo, Marco.$0http://id.loc.gov/authorities/names/n2003002839
700 1 $aInverardi, Paola.$0http://id.loc.gov/authorities/names/n2003002838
830 0 $aLecture notes in computer science ;$v2804.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.754$i.F67 2003