skip to content
Web services and formal methods : 9th international workshop, WS-FM 2012, Tallinn, Estonia, September 6 - 7, 2012 ; revised selected papers Preview this item
ClosePreview this item
Checking...

Web services and formal methods : 9th international workshop, WS-FM 2012, Tallinn, Estonia, September 6 - 7, 2012 ; revised selected papers

Author: Maurice H ter Beek
Publisher: Berlin [u.a.] : Springer, 2013.
Series: Lecture notes in computer science, 7843.
Edition/Format:   Computer file : Conference publication : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Maurice H ter Beek
ISBN: 9783642382291 3642382290 9783642382307 3642382304
OCLC Number: 874374355
Description: VIII, 149 S. : graph. Darst.
Contents: Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.
Series Title: Lecture notes in computer science, 7843.
Responsibility: Maurice H. ter Beek ... (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/874374355>
library:oclcnum"874374355"
library:placeOfPublication
rdf:typebgn:ComputerFile
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:datePublished"2013"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1848025122>
schema:genre"Kongress"
schema:inLanguage"en"
schema:isPartOf
schema:name"Web services and formal methods 9th international workshop, WS-FM 2012, Tallinn, Estonia, September 6 - 7, 2012 ; revised selected papers"
schema:publication
schema:publisher
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.