Kniha Web Services and Formal Methods Mario Bravetti

Web Services and Formal Methods

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Wor...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2011
Stránek
191
EAN
9783642195884
ISBN
3642195881
Enbook ID
01657536
Hmotnost
318
Rozměry
156 x 235 x 11

Kompletní popis

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.

Mohlo by vás zajímat

1 311

Testaments

ATWOOD MARGARET
294

Refactoring

Martin Fowler
1 253
429
879

Energy to Heal

Lauren Walker
397
2 901
294
896
412

Words of Radiance

Brandon Sanderson
220
4 819
263
628
1 500

Zákaznicí kteří koupili tuto knihu koupili také

390
439
371
300

Spravedlivá pistole

Jaroslav Velinský
298
729

China fürs Handgepäck

Françoise Hauser
259
200

Kreditderivate

Joachim Hauser
1 905

Der Musikater

Hermann Regner
136
486

Brust oder Keule

Monique Isnardon
399

Ihr Recht im Urlaub

Christopher Posch
269

Kratylos

Platon
336