LEADER 03736nam  22007455  450 
001 996465912303316
005 20200702032436.0
010   $a3-642-19589-X
024 7 $a10.1007/978-3-642-19589-1
035   $a(CKB)2670000000076048
035   $a(SSID)ssj0000530589
035   $a(PQKBManifestationID)11348229
035   $a(PQKBTitleCode)TC0000530589
035   $a(PQKBWorkID)10562257
035   $a(PQKB)10097447
035   $a(DE-He213)978-3-642-19589-1
035   $a(MiAaPQ)EBC3066581
035   $a(PPN)151589674
035   $a(EXLCZ)992670000000076048
100   $a20110319d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aWeb Services and Formal Methods$b[electronic resource] $e7th International  Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /$fedited by Mario Bravetti, Tevfik Bultan
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 191 p. 68 illus., 10 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6551
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19588-1 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing;  cloud computing; formal methods; verification specification; testing; and business process management.
410  0$aProgramming and Software Engineering ;$v6551
606   $aApplication software
606   $aSoftware engineering
606   $aManagement information systems
606   $aComputer science
606   $aInformation storage and retrieval
606   $aUser interfaces (Computer systems)
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aManagement information systems.
615  0$aComputer science.
615  0$aInformation storage and retrieval.
615  0$aUser interfaces (Computer systems).
615 14$aInformation Systems Applications (incl. Internet).
615 24$aSoftware Engineering.
615 24$aManagement of Computing and Information Systems.
615 24$aInformation Storage and Retrieval.
615 24$aUser Interfaces and Human Computer Interaction.
676   $a005.7
702   $aBravetti$b Mario$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBultan$b Tevfik$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aWS-FM (Workshop)
906   $aBOOK
912   $a996465912303316
996   $aWeb Services and Formal Methods$9772379
997   $aUNISA