| 000 | 02666nam a22005055i 4500 | ||
|---|---|---|---|
| 001 | u375658 | ||
| 003 | SIRSI | ||
| 005 | 20160812084334.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110117s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642180705 _9978-3-642-18070-5 |
||
| 040 | _cMX-MeUAM | ||
| 050 | 4 | _aQA76.758 | |
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aBeckert, Bernhard. _eeditor. |
|
| 245 | 1 | 0 |
_aFormal Verification of Object-Oriented Software _h[recurso electrónico] : _bInternational Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / _cedited by Bernhard Beckert, Claude Marché. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
| 300 |
_aX, 199p. _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 ; _v6528 |
|
| 520 | _aThis book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area. | ||
| 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 |
_aMarché, Claude. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642180699 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6528 |
|
| 856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-18070-5 |
| 596 | _a19 | ||
| 942 | _cLIBRO_ELEC | ||
| 999 |
_c203538 _d203538 |
||