عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642382304
شابک
9783642382307
شماره کتابشناسی ملی
شماره
b567961
عنوان و نام پديدآور
عنوان اصلي
Web Services and Formal Methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
نام نخستين پديدآور
edited by Maurice H. Beek, Niels Lohmann.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
(x, 151 p. 55 illustrations)
فروست
عنوان فروست
Lecture Notes in Computer Science, 7843.
یادداشتهای مربوط به مندرجات
متن يادداشت
Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Maurice H. Beek, Niels Lohmann.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Maurice H Beek
مستند نام اشخاص تاييد نشده
Niels Lohmann
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
