1. FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
پدیدآورنده : Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
873
2. Formal Aspects of Measurement :
پدیدآورنده : edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
3. Introduction to Discrete Mathematics for Software Engineering
پدیدآورنده : Tim ,Denvir
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : Electronic Data processing - Mathematics
4. Introduction to discrete mathematics for software engineering
پدیدآورنده : Tim Denvir
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع : Electronic data processing--mathematics
رده :
QA
76
.
9
.
M35
5. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic data processing mathematics
رده :
QA
76
.
9
.
M35
6. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
7. Introduction to discrete mathematics for software engineering
پدیدآورنده : DENVIR,TIM
کتابخانه: (طهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
9
.
M35
D45
