MARC Record from harvard_bibliographic_metadata

LEADER: 02158nam a22004935a 4500
001 014020814-3
005 20140620185736.0
008 140405s2014 gw | s ||0| 0|eng d
020 $a9783319054162
020 $a9783319054162
020 $a9783319054155
024 7 $a10.1007/978-3-319-05416-2$2doi
035 $a(Springer)9783319054162
040 $aSpringer
050 4 $aQA76.9.L63
050 4 $aQA76.5913
050 4 $aQA76.63
072 7 $aUM$2bicssc
072 7 $aUYF$2bicssc
072 7 $aCOM051000$2bisacsh
072 7 $aCOM036000$2bisacsh
082 04 $a005.1015113$223
100 1 $aArtho, Cyrille,$eeditor.
245 10 $aFormal Techniques for Safety-Critical Systems :$bSecond International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /$cedited by Cyrille Artho, Peter Csaba Ölveczky.
264 1 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2014.
300 $aX, 297 p. 91 illus.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v419
520 $aThis book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aSoftware engineering.
650 0 $aLogic design.
650 24 $aLogics and Meanings of Programs.
650 24 $aComputation by Abstract Devices.
700 1 $aÖlveczky, Peter Csaba,$eeditor.
776 08 $iPrinted edition:$z9783319054155
830 0 $aCommunications in Computer and Information Science ;$v419.
988 $a20140502
906 $0VEN