000 | 02757nam a22005295i 4500 | ||
---|---|---|---|
001 | 978-3-642-13953-6 | ||
003 | DE-He213 | ||
005 | 20160624102144.0 | ||
007 | cr nn 008mamaa | ||
008 | 100629s2010 gw | s |||| 0|eng d | ||
020 |
_a9783642139536 _9978-3-642-13953-6 |
||
024 | 7 |
_a10.1007/978-3-642-13953-6 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aObjects, Models, Components, Patterns _h[electronic resource] : _b48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / _cedited by Jan Vitek. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_a316p. 103 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 ; _v6141 |
|
505 | 0 | _aDeep Meta-modelling with MetaDepth -- A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks -- Understanding the Impact of Collection Contracts on Design -- Reasoning about Function Objects -- Welterweight Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded Applications -- Contract-Driven Testing of JavaScript Code -- Late Binding of AspectJ Advice -- EriLex: An Embedded Domain Specific Language Generator -- Domain-Specific Program Checking -- Revisiting Parametric Types and Virtual Classes -- Moles: Tool-Assisted Environment Isolation with Closures -- Encoding Ownership Types in Java -- Visualizing Dynamic Metrics with Profiling Blueprints. | |
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 | _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 | _aComputer Communication Networks. |
700 | 1 |
_aVitek, Jan. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642139529 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6141 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-13953-6 |
942 |
_2EBK9117 _cEBK |
||
999 |
_c38411 _d38411 |