LEADER 03886nam  22007695  450 
001 996466301703316
005 20200705020239.0
010   $a3-642-38230-4
024 7 $a10.1007/978-3-642-38230-7
035   $a(CKB)3280000000007636
035   $a(DE-He213)978-3-642-38230-7
035   $a(SSID)ssj0000904616
035   $a(PQKBManifestationID)11511233
035   $a(PQKBTitleCode)TC0000904616
035   $a(PQKBWorkID)10923986
035   $a(PQKB)10437812
035   $a(MiAaPQ)EBC3093222
035   $a(PPN)170491889
035   $a(EXLCZ)993280000000007636
100   $a20130515d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aWeb Services and Formal Methods$b[electronic resource] $e9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /$fedited by Maurice H. ter Beek, Niels Lohmann
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 151 p. 55 illus.) 
225 1 $aProgramming and Software Engineering ;$v7843
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38229-0 
330   $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.
410  0$aProgramming and Software Engineering ;$v7843
606   $aApplication software
606   $aSoftware engineering
606   $aManagement information systems
606   $aComputer science
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
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   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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$aComputer logic.
615  0$aProgramming languages (Electronic computers).
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$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aUser Interfaces and Human Computer Interaction.
676   $a005.7
702   $ater Beek$b Maurice H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLohmann$b Niels$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466301703316
996   $aWeb Services and Formal Methods$9772379
997   $aUNISA