000 | 02480nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-642-19829-8 | ||
003 | DE-He213 | ||
005 | 20140220083758.0 | ||
007 | cr nn 008mamaa | ||
008 | 110316s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642198298 _9978-3-642-19829-8 |
||
024 | 7 |
_a10.1007/978-3-642-19829-8 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
100 | 1 |
_aDavies, Jim. _eeditor. |
|
245 | 1 | 0 |
_aFormal Methods: Foundations and Applications _h[electronic resource] : _b13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / _cedited by Jim Davies, Leila Silva, Adenilso Simao. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
300 |
_aVIII, 291 p. _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 ; _v6527 |
|
520 | _aThis book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aInformation Systems. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aManagement of Computing and Information Systems. |
700 | 1 |
_aSilva, Leila. _eeditor. |
|
700 | 1 |
_aSimao, Adenilso. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642198281 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6527 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-19829-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 |
_c107656 _d107656 |