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.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
873
2. Formal Aspects of Measurement :
پدیدآورنده : edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
3. Introduction to Discrete Mathematics for Software Engineering
پدیدآورنده : Tim ,Denvir
کتابخانه: Library of Faculty of Management of Tehran University (Tehran)
موضوع : Electronic Data processing - Mathematics
4. Introduction to discrete mathematics for software engineering
پدیدآورنده : Tim Denvir
کتابخانه: Library of Institute of Geophysics University of Tehran (Tehran)
موضوع : Electronic data processing--mathematics
رده :
QA
76
.
9
.
M35
5. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic data processing mathematics
رده :
QA
76
.
9
.
M35
6. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
7. Introduction to discrete mathematics for software engineering
پدیدآورنده : DENVIR,TIM
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
9
.
M35
D45
