| Record ID | marc_columbia/Columbia-extract-20221130-015.mrc:116007077:1867 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-015.mrc:116007077:1867?format=raw |
LEADER: 01867cam a2200373 a 4500
001 7315089
005 20221130231453.0
008 090724s2009 gw a b 101 0 eng d
020 $a9783642032394 (pbk.)
020 $a3642032397 (pbk.)
035 $a(OCoLC)428011993
035 $a(OCoLC)ocn428011993
035 $a(NNC)7315089
035 $a7315089
040 $aNNC$cNNC
050 4 $aQA76.9.F67$bI59 2008
111 2 $aInternational Workshop on Formal Methods for Industrial Critical Systems$n(13th :$d2008 :$cL'Aquila, Italy)
245 10 $aFormal methods for industrial critical systems :$b13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /$cDarren Cofer, Alessandro Fantechi (eds.).
246 08 $aFMICS 2008
260 $aBerlin ;$aNew York :$bSpringer,$c2009.
300 $ax, 231 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5596
490 1 $aLNCS sublibrary. SL 2, Programming and software engineering
504 $aIncludes bibliographical references.
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
650 0 $aSoftware engineering$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008111658
650 0 $aComputer programs$xVerification$vCongresses.
700 1 $aCofer, Darren.$0http://id.loc.gov/authorities/names/nb2009019478
700 1 $aFantechi, Alessandro.$0http://id.loc.gov/authorities/names/n98102850
830 0 $aLecture notes in computer science ;$v5596.$0http://id.loc.gov/authorities/names/n42015162
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.$0http://id.loc.gov/authorities/names/no2007033954
852 00 $boff,eng$hQA76.9.F67$iI59 2008g