| 000 | 02932nam a22005775i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-14806-9 | ||
| 003 | DE-He213 | ||
| 005 | 20240730192950.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150105s2015 sz | s |||| 0|eng d | ||
| 020 |
_a9783319148069 _9978-3-319-14806-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-14806-9 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aUnifying Theories of Programming _h[electronic resource] : _b5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / _cedited by David Naumann. |
| 250 | _a1st ed. 2015. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 |
_aXI, 143 p. 10 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v8963 |
|
| 505 | 0 | _aNumerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice -- Termination -- Feasibility -- Locality -- Concurrency and communication. | |
| 520 | _aThis book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. | ||
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aMachine theory. _9151940 |
|
| 650 | 1 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9151941 |
| 650 | 2 | 4 |
_aTheory of Computation. _9151942 |
| 700 | 1 |
_aNaumann, David. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9151943 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9151944 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319148052 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319148076 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v8963 _9151945 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-14806-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c94526 _d94526 |
||