Notice bibliographique
- Notice
000 nam 22 3 450
001 FRBNF447044910000005
010 .. $a 9783642298349
035 .. $a OCoLC792808423
100 .. $a 20170801d2012 m y0engy50 ba
101 0. $a eng
102 .. $a DE
105 .. $a y ||||10|y|
106 .. $a s $a z
135 .. $a drc||||||||||
181 .0 $6 01 $a i $b xxxe
181 .. $6 02 $c txt $2 rdacontent
182 .0 $6 01 $a b
182 .. $6 02 $c c $2 rdamedia
200 1. $a Web services and formal methods $b Texte électronique $e 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011,
Revised selected papers $f Marco Carbone, Jean-Marc Petit (eds.)
210 .. $a Berlin $a New York $c Springer $d cop. 2012
215 .. $a 1 online resource (vi, 142 pages)
225 1. $a Lecture notes in computer science $v 7176
225 1. $a LNCS sublibrary. SL 2, Programming and software engineering
300 .. $a Includes bibliographical references and author index
312 .. $a Autre forme de titre : WS-FM 2011
330 .. $a Annotation ; 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
517 1. $a WS-FM 2011
676 .. $a 006.78 $v 23
676 .. $a 005.7 $v 23
801 .3 $a US $b OCoLC $c 20170801 $h 792808423 $2 marc21
801 .0 $b GW5XE $g pn
930 .. $5 FR-759999999:44704491001001 $a ACQNUM-86257 $b 759999999 $c Document numérisé $d N
