LEADER 03654nam  22007335  450 
001 996466001003316
005 20200705125822.0
010   $a3-642-29834-6
024 7 $a10.1007/978-3-642-29834-9
035   $a(CKB)3360000000366032
035   $a(SSID)ssj0000666433
035   $a(PQKBManifestationID)11391310
035   $a(PQKBTitleCode)TC0000666433
035   $a(PQKBWorkID)10682848
035   $a(PQKB)10992804
035   $a(DE-He213)978-3-642-29834-9
035   $a(MiAaPQ)EBC3070173
035   $a(PPN)168315432
035   $a(EXLCZ)993360000000366032
100   $a20120418d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aWeb Services and Formal Methods$b[electronic resource] $e8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /$fedited by Marco Carbone, Jean-Marc Petit
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (IX, 143 p.) 
225 1 $aProgramming and Software Engineering ;$v7176
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-29833-8 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
410  0$aProgramming and Software Engineering ;$v7176
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   $aCarbone$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetit$b Jean-Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466001003316
996   $aWeb Services and Formal Methods$9772379
997   $aUNISA