000 | 02896nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-642-38230-7 | ||
003 | DE-He213 | ||
005 | 20240423125907.0 | ||
007 | cr nn 008mamaa | ||
008 | 130515s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642382307 _9978-3-642-38230-7 |
||
024 | 7 |
_a10.1007/978-3-642-38230-7 _2doi |
|
050 | 4 | _aQA76.76.A65 | |
072 | 7 |
_aUB _2bicssc |
|
072 | 7 |
_aCOM005000 _2bisacsh |
|
072 | 7 |
_aUX _2thema |
|
082 | 0 | 4 |
_a005.3 _223 |
245 | 1 | 0 |
_aWeb Services and Formal Methods _h[electronic resource] : _b9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / _cedited by Maurice H. ter Beek, Niels Lohmann. |
250 | _a1st ed. 2013. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
300 |
_aX, 151 p. 55 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 ; _v7843 |
|
520 | _aThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets. | ||
650 | 0 | _aApplication software. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 |
_aElectronic data processing _xManagement. |
|
650 | 0 | _aComputer science. | |
650 | 0 | _aCompilers (Computer programs). | |
650 | 0 | _aUser interfaces (Computer systems). | |
650 | 0 | _aHuman-computer interaction. | |
650 | 1 | 4 | _aComputer and Information Systems Applications. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aIT Operations. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aCompilers and Interpreters. |
650 | 2 | 4 | _aUser Interfaces and Human Computer Interaction. |
700 | 1 |
_ater Beek, Maurice H. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLohmann, Niels. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642382291 |
776 | 0 | 8 |
_iPrinted edition: _z9783642382314 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7843 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-38230-7 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c182824 _d182824 |