Studiebog DRM-beskyttet

Web Services and Formal Methods

- 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Forfatter: info mangler

E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Lecture Notes in Computer Science

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 409,95

Medlemspris: kr. 359,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

This 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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato15-05-2013
ISBN139783642382307
Forlag Springer Berlin Heidelberg
FormatPDF

Web Services and Formal Methods

- 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Findes i disse kategorier...

Se andre, der handler om...