000 02724nam a22005655i 4500
001 978-3-642-21338-0
003 DE-He213
005 20140220083804.0
007 cr nn 008mamaa
008 110628s2011 gw | s |||| 0|eng d
020 _a9783642213380
_9978-3-642-21338-0
024 7 _a10.1007/978-3-642-21338-0
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
100 1 _aRomanovsky, Alexander.
_eeditor.
245 1 0 _aReliable Software Technologies - Ada-Europe 2011
_h[electronic resource] :
_b16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /
_cedited by Alexander Romanovsky, Tullio Vardanega.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aXIII, 227p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6652
520 _aThis book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aComputer Communication Networks.
650 2 4 _aProgramming Techniques.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aVardanega, Tullio.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642213373
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6652
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-21338-0
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c107957
_d107957