Eintrag weiter verarbeiten
Online-Ressource

Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Carbone, Marco (VerfasserIn), Petit, Jean-Marc (Sonstige)
Titel: Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers/ edited by Marco Carbone, Jean-Marc Petit
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7176
Schlagwörter:
Computer science
Information Systems
Computer Science
Software engineering
Information storage and retrieval systems
Electronic data processing
Application software.
User interfaces (Computer systems).
Human-computer interaction.
Konferenzschrift > 2011 > Clermont-Ferrand
Konferenzschrift
Buchausg. u.d.T.: Web services and formal methods, Berlin : Springer, 2012, VI, 142 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 07097cam a22015372 4500
001 0-1651474400
003 DE-627
005 20240122105111.0
007 cr uuu---uuuuu
008 120515s2012 gw |||||o 00| ||eng c
020 |a 9783642298349  |9 978-3-642-29834-9 
024 7 |a 10.1007/978-3-642-29834-9  |2 doi 
035 |a (DE-627)1651474400 
035 |a (DE-576)365271152 
035 |a (DE-599)BSZ365271152 
035 |a (OCoLC)799086126 
035 |a (ZBM)1334.68015 
035 |a (ZBM)1334.68015 
035 |a (DE-He213)978-3-642-29834-9 
035 |a (EBP)040542041 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.76.A65 
072 7 |a UNH  |2 bicssc 
072 7 |a UDBD  |2 bicssc 
072 7 |a COM032000  |2 bisacsh 
072 7 |a UB  |2 bicssc 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68M11  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.84  |2 bkl 
084 |a 54.10  |2 bkl 
100 1 |a Carbone, Marco  |0 (DE-588)139236953  |0 (DE-627)609444522  |0 (DE-576)310822645  |4 aut 
245 1 0 |a Web Services and Formal Methods  |b 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers  |c edited by Marco Carbone, Jean-Marc Petit 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2012 
300 |a Online-Ressource (IX, 143p. 54 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7176 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
520 |a This 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. 
650 0 |a Computer science 
650 0 |a Information Systems 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Information storage and retrieval systems 
650 0 |a Information Systems 
650 0 |a Software engineering 
650 0 |a Information storage and retrieval systems 
650 0 |a Electronic data processing 
650 0 |a Application software. 
650 0 |a User interfaces (Computer systems). 
650 0 |a Human-computer interaction. 
655 7 |a Konferenzschrift  |y 2011  |z Clermont-Ferrand  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4691234-4  |0 (DE-627)35055126X  |0 (DE-576)215074130  |a Web Services  |2 gnd 
689 0 1 |D s  |0 (DE-588)7859268-9  |0 (DE-627)689027303  |0 (DE-576)361861362  |a Dienstekomposition  |2 gnd 
689 0 2 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 3 |D s  |0 (DE-588)4841015-9  |0 (DE-627)497936860  |0 (DE-576)217093450  |a Serviceorientierte Architektur  |2 gnd 
689 0 4 |D s  |0 (DE-588)7623494-0  |0 (DE-627)577000314  |0 (DE-576)285431765  |a Cloud Computing  |2 gnd 
689 0 5 |D s  |0 (DE-588)4353072-2  |0 (DE-627)181245221  |0 (DE-576)211545635  |a Prozessmanagement  |2 gnd 
689 0 |5 DE-101 
700 1 |a Petit, Jean-Marc  |4 oth 
776 1 |z 9783642298332 
776 0 8 |i Buchausg. u.d.T.  |t Web services and formal methods  |d Berlin : Springer, 2012  |h VI, 142 S.  |w (DE-627)715872869  |w (DE-576)368553175  |z 3642298338  |z 9783642298332 
830 0 |a Lecture notes in computer science  |v 7176  |9 7176  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-29834-9  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29834-9  |x Verlag  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz365271152cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150929173915  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1334.68015  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4004391&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
856 4 2 |u http://d-nb.info/1021362344/04  |m B:DE-101  |q application/pdf  |v 2013-05-01  |x Verlag  |3 Inhaltsverzeichnis 
889 |w (DE-627)715948903 
912 |a ZDB-2-LNC  |b 2012 
912 |a ZDB-2-SCS  |b 2012 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2012 
912 |a ZDB-2-SEB  |b 2012 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.84  |j Webmanagement  |q SEPA  |0 (DE-627)475288947 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
900 |a Carbone, M. 
950 |a Formales Verfahren 
950 |a Methode 
950 |a Vorgangsmanagement 
950 |a Geschäftsprozessmanagement 
950 |a Work-Flow-Management 
950 |a Workflow-Management 
950 |a Unternehmen 
950 |a Prozessmanagement 
950 |a Arbeitsablauf 
950 |a Management 
950 |a Process Management 
950 |a Prozessorganisation 
950 |a Operations Management 
950 |a Процессный менеджмент 
950 |a Application Services 
950 |a Web-Service 
950 |a Dienstekomposition 
950 |a Dienstorientierte Architektur 
950 |a Service oriented architecture 
950 |a SOA 
950 |a Architektur 
950 |a Cloud IT 
950 |a Rechnerwolke 
950 |a Verteiltes System 
950 |a Service composition 
950 |a Web Service Composition 
950 |a Softwarearchitektur 
950 |a Serviceorientierte Architektur 
950 |a Web Services 
951 |b XA-IT 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29834-9  |9 DE-14 
852 |a DE-14  |x epn:3349382134  |z 2012-05-15T10:50:30Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29834-9  |9 DE-15 
852 |a DE-15  |x epn:3349382169  |z 2012-05-15T10:50:31Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29834-9  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3349382215  |z 2012-05-15T10:50:31Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29834-9  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3349382274  |z 2012-11-10T04:23:46Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29834-9  |9 DE-520 
852 |a DE-520  |x epn:3349382312  |z 2012-05-15T10:50:30Z 
980 |a 1651474400  |b 0  |k 1651474400  |o 365271152 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Web+Services+and+Formal+Methods%3A+8th+International+Workshop%2C+WS-FM+2011%2C+Clermont-Ferrand%2C+France%2C+September+1-2%2C+2011%2C+Revised+Selected+Papers&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Web+Services+and+Formal+Methods%3A+8th+International+Workshop%2C+WS-FM+2011%2C+Clermont-Ferrand%2C+France%2C+September+1-2%2C+2011%2C+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+7176&rft.au=Carbone%2C+Marco&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642298346
SOLR
_version_ 1792253783537876992
access_facet Electronic Resources
author Carbone, Marco
author2 Petit, Jean-Marc
author2_role oth
author2_variant j m p jmp
author_facet Carbone, Marco, Petit, Jean-Marc
author_role aut
author_sort Carbone, Marco
author_variant m c mc
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.76.A65
callnumber-search QA76.76.A65
callnumber-sort QA 276.76 A65
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents This 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.
ctrlnum (DE-627)1651474400, (DE-576)365271152, (DE-599)BSZ365271152, (OCoLC)799086126, (ZBM)1334.68015, (DE-He213)978-3-642-29834-9, (EBP)040542041
de15_date 2012-05-15T10:50:31Z
dech1_date 2012-05-15T10:50:31Z
doi_str_mv 10.1007/978-3-642-29834-9
era_facet 2011
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Web Services, Dienstekomposition, Formale Methode, Serviceorientierte Architektur, Cloud Computing, Prozessmanagement
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2011 Clermont-Ferrand (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person Italy
geographic_facet Clermont-Ferrand
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7176
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1651474400
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer Berlin Heidelberg, 2012
imprint_str_mv Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1651474400
is_hierarchy_title Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
isbn 9783642298349
isbn_isn_mv 9783642298332, 3642298338
issn_isn_mv 1611-3349
kxp_id_str 1651474400
language English
last_indexed 2024-02-29T17:06:40.975Z
local_heading_facet_dezwi2 Computer science, Information Systems, Computer Science, Software engineering, Information storage and retrieval systems, Electronic data processing, Application software., User interfaces (Computer systems)., Human-computer interaction., Web Services, Dienstekomposition, Formale Methode, Serviceorientierte Architektur, Cloud Computing, Prozessmanagement
marc024a_ct_mv 10.1007/978-3-642-29834-9
match_str carbone2012webservicesandformalmethods8thinternationalworkshopwsfm2011clermontferrandfranceseptember122011revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7176
names_id_str_mv (DE-588)139236953, (DE-627)609444522, (DE-576)310822645
oclc_num 799086126
physical Online-Ressource (IX, 143p. 54 illus, digital)
publishDate 2012
publishDateSort 2012
publishPlace Berlin, Heidelberg
publisher Springer Berlin Heidelberg
record_format marcfinc
record_id 365271152
recordtype marcfinc
rsn_id_str_mv (DE-15)3088217
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7176
series2 Lecture Notes in Computer Science ; 7176, SpringerLink ; Bücher
source_id 0
spelling Carbone, Marco (DE-588)139236953 (DE-627)609444522 (DE-576)310822645 aut, Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers edited by Marco Carbone, Jean-Marc Petit, Berlin, Heidelberg Springer Berlin Heidelberg 2012, Online-Ressource (IX, 143p. 54 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7176, SpringerLink Bücher, Literaturangaben, This 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., Computer science, Information Systems, Computer Science, Software engineering, Information storage and retrieval systems, Electronic data processing, Application software., User interfaces (Computer systems)., Human-computer interaction., Konferenzschrift 2011 Clermont-Ferrand (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4691234-4 (DE-627)35055126X (DE-576)215074130 Web Services gnd, s (DE-588)7859268-9 (DE-627)689027303 (DE-576)361861362 Dienstekomposition gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, s (DE-588)4841015-9 (DE-627)497936860 (DE-576)217093450 Serviceorientierte Architektur gnd, s (DE-588)7623494-0 (DE-627)577000314 (DE-576)285431765 Cloud Computing gnd, s (DE-588)4353072-2 (DE-627)181245221 (DE-576)211545635 Prozessmanagement gnd, DE-101, Petit, Jean-Marc oth, 9783642298332, Buchausg. u.d.T. Web services and formal methods Berlin : Springer, 2012 VI, 142 S. (DE-627)715872869 (DE-576)368553175 3642298338 9783642298332, Lecture notes in computer science 7176 7176 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-29834-9 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-29834-9 Verlag Volltext, https://swbplus.bsz-bw.de/bsz365271152cov.jpg V:DE-576 X:springer image/jpeg 20150929173915 Cover, https://zbmath.org/?q=an:1334.68015 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4004391&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, http://d-nb.info/1021362344/04 B:DE-101 application/pdf 2013-05-01 Verlag Inhaltsverzeichnis, (DE-627)715948903, http://dx.doi.org/10.1007/978-3-642-29834-9 DE-14, DE-14 epn:3349382134 2012-05-15T10:50:30Z, http://dx.doi.org/10.1007/978-3-642-29834-9 DE-15, DE-15 epn:3349382169 2012-05-15T10:50:31Z, http://dx.doi.org/10.1007/978-3-642-29834-9 DE-Ch1, DE-Ch1 epn:3349382215 2012-05-15T10:50:31Z, http://dx.doi.org/10.1007/978-3-642-29834-9 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3349382274 2012-11-10T04:23:46Z, http://dx.doi.org/10.1007/978-3-642-29834-9 DE-520, DE-520 epn:3349382312 2012-05-15T10:50:30Z
spellingShingle Carbone, Marco, Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers, Lecture notes in computer science, 7176, This 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., Computer science, Information Systems, Computer Science, Software engineering, Information storage and retrieval systems, Electronic data processing, Application software., User interfaces (Computer systems)., Human-computer interaction., Konferenzschrift 2011 Clermont-Ferrand, Konferenzschrift, Web Services, Dienstekomposition, Formale Methode, Serviceorientierte Architektur, Cloud Computing, Prozessmanagement
swb_id_str 365271152
title Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
title_auth Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
title_full Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers edited by Marco Carbone, Jean-Marc Petit
title_fullStr Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers edited by Marco Carbone, Jean-Marc Petit
title_full_unstemmed Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers edited by Marco Carbone, Jean-Marc Petit
title_in_hierarchy 7176. Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (2012)
title_short Web Services and Formal Methods
title_sort web services and formal methods 8th international workshop ws fm 2011 clermont ferrand france september 1 2 2011 revised selected papers
title_sub 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
title_unstemmed Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
topic Computer science, Information Systems, Computer Science, Software engineering, Information storage and retrieval systems, Electronic data processing, Application software., User interfaces (Computer systems)., Human-computer interaction., Konferenzschrift 2011 Clermont-Ferrand, Konferenzschrift, Web Services, Dienstekomposition, Formale Methode, Serviceorientierte Architektur, Cloud Computing, Prozessmanagement
topic_facet Computer science, Information Systems, Computer Science, Software engineering, Information storage and retrieval systems, Electronic data processing, Application software., User interfaces (Computer systems)., Human-computer interaction., Konferenzschrift, Web Services, Dienstekomposition, Formale Methode, Serviceorientierte Architektur, Cloud Computing, Prozessmanagement
url https://doi.org/10.1007/978-3-642-29834-9, http://dx.doi.org/10.1007/978-3-642-29834-9, https://swbplus.bsz-bw.de/bsz365271152cov.jpg, https://zbmath.org/?q=an:1334.68015, http://deposit.d-nb.de/cgi-bin/dokserv?id=4004391&prov=M&dok_var=1&dok_ext=htm, http://d-nb.info/1021362344/04