کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFormal software development : from VDM to Java
پدیدآورنده: Charatan, Quentin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development,، Formal methods )computer science(
رده :
QA
76
.
76
.
D47
.
C42
2003


formal Software Development: From VDM to JAVA
پدیدآورنده: / Quentin Charatan and Aaron Kans
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer software- Development- Congresses
رده :
QA76
.
76
.
C45F62

