000 | 03103nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-642-30729-4 | ||
003 | DE-He213 | ||
005 | 20240730202256.0 | ||
007 | cr nn 008mamaa | ||
008 | 120626s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642307294 _9978-3-642-30729-4 |
||
024 | 7 |
_a10.1007/978-3-642-30729-4 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aIntegrated Formal Methods _h[electronic resource] : _b9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / _cedited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. |
250 | _a1st ed. 2012. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aXII, 360 p. 105 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7321 |
|
520 | _aThis book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aMachine theory. _9170669 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9170670 |
650 | 2 | 4 |
_aProgramming Techniques. _9170671 |
650 | 2 | 4 |
_aAlgorithms. _93390 |
700 | 1 |
_aDerrick, John. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170672 |
|
700 | 1 |
_aGnesi, Stefania. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170673 |
|
700 | 1 |
_aLatella, Diego. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170674 |
|
700 | 1 |
_aTreharne, Helen. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170675 |
|
710 | 2 |
_aSpringerLink (Online service) _9170676 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642307287 |
776 | 0 | 8 |
_iPrinted edition: _z9783642307300 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7321 _9170677 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-30729-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c96934 _d96934 |