000			02951nam a22003975i 4500
999			_c88266 _d88266
001			88266
003			ES-MaUEC
005			20240209122820.0
007			cr nn 008mamaa
008			161221s2016 gw | s |||| 0|eng d
020			_a9783319516417
024	7		_a10.1007/978-3-319-51641-7 _2doi
040			_aES-MaUEC
050		4	_aTJ211.45 _b.L484 2016 EB
245	0	0	_aLeveraging aplications of formal methods, verification, and validation : _b6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers _cedited by Anna-Lena Lamprecht
260			_aCham (Alemania) _bSpringer International Publishing _c2016
300			_a1 recurso en línea (VII, 157 p.) _b62 ilustraciones
336			_aTexto (visual) _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	1		_aCommunications in Computer and Information Science _x1865-0929 _v683
505	0		_aProcesses and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium
520			_aThis book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012
650		7	_aRobots _xProgramación _9140106 _2embne
650		7	_aIngeniería de ordenadores _0comprobar BNE20070291125 _2embne _9167668
650		7	_aLógica matemática _0comprobar BNE19900968744 _2embne _9139136
700	1		_aLamprecht, Anna-Lena _eeditor literario _9101887 _0Local
830		0	_aCommunications in Computer and Information Science _x1865-0929 _v683 _0http://id.loc.gov/authorities/names/no2008037797 _9134222
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-51641-7zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319516417
907			_a.b12982702 _b10-10-17 _c08-03-17
942			_2lcc _cLE
945			_aTJ211.45 .L484 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11604542 _z06-04-17
988			_aEBOOK, EBSPRINGER
998			_am _a_alco _a_vill _b30-06-17 _cm _dz _eb _feng _ggw _h0