1. Formal software developmen
پدیدآورنده : / Quentin Charatan and Aaron Kans
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer software--Development,Formal methods (Computer science)
رده :
QA
,
76
.
758
,.
C43
,
2004eb
2. Formal software developmentfrom VDM to Java
پدیدآورنده : / Quentin Charatan and Aaron Kans
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Computer software -- Development,Formal methods (computer science)
رده :
QA
76
.
758
.
C43
2004
3. Java in Two Semesters :
پدیدآورنده : by Quentin Charatan, Aaron Kans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer System Implementation.,Control Structures and Microprogramming.,Java.,Programming Languages, Compilers, Interpreters.,Java (Programmiersprache)
رده :
QA76
.
7-76
.
73
4. Java in two semesters :
پدیدآورنده : Quentin Charatan, Aaron Kans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Java (Computer program language),Java,Java (Computer program language)
رده :
QA76
.
73
.
J38
C43
2019
5. Java in two semesters :
پدیدآورنده : Quentin Charatan, Aaron Kans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Java (Computer program language),Java (Computer program language)
رده :
QA76
.
73
.
J38
6. formal Software Development: From VDM to JAVA
پدیدآورنده : Charatan, Quentin, Quentin Charatan and Aaron Kans
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer software- Development- Congresses
رده :
QA
76
.
76
.
C45F62
