| 000 | 02595nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-30982-3 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083320.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120625s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642309823 _9978-3-642-30982-3 |
||
| 024 | 7 |
_a10.1007/978-3-642-30982-3 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aBernardo, Marco. _eeditor. |
|
| 245 | 1 | 0 |
_aFormal Methods for Model-Driven Engineering _h[electronic resource] : _b12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / _cedited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_aVII, 439 p. 158 illus. _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 ; _v7320 |
|
| 520 | _aThis book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aInformation Systems. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aSoftware Engineering/Programming and Operating Systems. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aInformation Systems Applications (incl. Internet). |
| 650 | 2 | 4 | _aManagement of Computing and Information Systems. |
| 700 | 1 |
_aCortellessa, Vittorio. _eeditor. |
|
| 700 | 1 |
_aPierantonio, Alfonso. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642309816 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7320 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-30982-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c103282 _d103282 |
||