اشتري Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers Paperback English - 25-Apr-13 في مصر

Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers Paperback English - 25-Apr-13

السعر الحالي

460.00جنية مصرى

شراء اﻵن بواسطة تجار نون

أقل سعر 460
أعلى سعر 460
آخر ارتفاع في السعر 0%

price chart

مواصفات Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers Paperback English - 25-Apr-13

الوصف
مواصفات المنتج

ISBN 13: 2724558570515
ISBN 10: 3642382290
Book Subtitle: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Book Description: 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.
Language: English
Editor: Maurice H. ter Beek, Niels Lohman
Publication Date: 25-Apr-13
Number of Pages: 151