کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFormal Methods for Components and Objects
پدیدآورنده: / Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Formal Methods for Components and Objects
پدیدآورنده: / hnle, Frank S. Boer, Marcello M. BonsangueعElena Giachino, Reiner H
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Formal Methods for Components and Objects
پدیدآورنده: / Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Formal Methods for Components and Objects
پدیدآورنده: / Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Formal methods for components and objects :
پدیدآورنده: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
F53
2012
Formal methods for components and objects :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
Formal methods for components and objects
پدیدآورنده: / Frank S. de Boer ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses,Component software--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F53
,
2005
Formal methods for components and objects
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object
Formal methods for components and objects
پدیدآورنده: Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
F53
2010eb
Formal methods for components and objects :
پدیدآورنده: Frank S. de Boer ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses
رده :
QA76
.
9
.
F67
F53
2002
Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
پدیدآورنده: Frank S. de Boer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3188
Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
پدیدآورنده: Frank S. de Boer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2852
Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
پدیدآورنده: Frank S. de Boer... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3657
