عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47C666 2005
QA
76
.
76
.
D47C666
2005
کتابخانه
محل استقرار
1-85233820-2
IR
45597
انگلیسی
IR
Constructing correct software
[Book]
/ John Cooke
2nd ed
New York
: Springer
, 2005
xxi, 509 p.
:ill.
; 24 cm
Formal approaches to computing and information technology
English
Includes bibliographical references (p. [501]-502) and index
Computer software -- Development
Formal methods (computer science)
QA
76
.
76
.
D47C666
2005
Cooke, John, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
