| 000 | 01241nam a22002657a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20260521102021.0 | ||
| 008 | 251209b |||||||| |||| 00| 0 spa d | ||
| 020 | _a9783319171111 | ||
| 040 | _cRDA | ||
| 082 | _a005.3 C824 | ||
| 245 | _aCorrect software in web applications and web services | ||
| 264 |
_aEstados Unidos de América : _bSpringer, _912756 _c2015 |
||
| 300 | _a332 páginas | ||
| 504 | _aIncluye bibliografía | ||
| 505 | _aFormal modelling and verification of transactional web service composition: a refinement and proof approach with event-B -- Towards a model of services based on cocreation, abstraction and rights distribution -- Integrating a model driven approach and formal verification for the development of secure service applications -- A formal model of client cloud interaction -- W H: the conceptual model for services -- Monitoring of client cloud intraction | ||
| 546 | _acataran | ||
| 650 | 0 |
_aDesarrollo de software _930971 |
|
| 650 | 0 |
_aIngeniería de software _945395 |
|
| 650 | 0 |
_aProgramas para computador _954622 |
|
| 700 |
_aKatkalov, Kuzman _954635 _eautor |
||
| 700 |
_aThalheim, Bernhard _954636 _eautor |
||
| 700 |
_aDieter Schewe, Klaus _954637 _eautor |
||
| 942 | _cBK | ||
| 999 |
_c517540 _d517540 |
||