Pensum -10%
Web Services and Formal Methods
Chun Ouyang, Emilio Tuosto
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Web Services and Formal Methods
Redigert av Maurice H. ter Beek, Niels Lohmann, 2013.Del av serien Lecture Notes in Computer Science.
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
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.
PocketEngelsk
Normalpris: 529,-
476,-
Spar 53,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Web Services and Formal Methods
Redigert av Maurice H. ter Beek, Niels Lohmann, 2013.Del av serien Lecture Notes in Computer Science.
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
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.
Normalpris: 529,-
476,-
Spar 53,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
476,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
