| 000 | 02803nam a22006015i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-14806-9 | ||
| 003 | DE-He213 | ||
| 005 | 20200421112040.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150105s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319148069 _9978-3-319-14806-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-14806-9 _2doi |
|
| 050 | 4 | _aQA76.9.L63 | |
| 050 | 4 | _aQA76.5913 | |
| 050 | 4 | _aQA76.63 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aUYF _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aCOM036000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1015113 _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. |
| 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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputers. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aComputation by Abstract Devices. |
| 700 | 1 |
_aNaumann, David. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319148052 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8963 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-14806-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c56605 _d56605 |
||