عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Web services and formal methods :
پدید آورنده
Mario Bravetti, Tevfik Bultan (eds.).
موضوع
Formal methods (Computer science), Congresses.,Web services, Congresses.
رده
TK5105
.
88813
.
W74
2011
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
364219589X (electronic bk.)
9783642195891 (electronic bk.)
9783642195884
b509270
Web services and formal methods :
[Book]
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
Mario Bravetti, Tevfik Bultan (eds.).
New York :
Springer,
[2011]
©2011
1 online resource (viii, 190 pages) :
illustrations.
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
6551
1611-3349 ;
Revised conference papers
Includes bibliographical references and author index
Springer
978-3-642-19588-4
SpringerLink
WS-FM 2010
Formal methods (Computer science), Congresses.
Web services, Congresses.
006
.
7/8
22
TK5105
.
88813
.
W74
2011
Bravetti, Mario.
Bultan, Tevfik.
WS-FM (Workshop)(7th :2010 :, Hoboken, N.J.)
Ohio Library and Information Network.
20120425035451.0
rda
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح