1. Verification of object-oriented software
پدیدآورنده: / Bernhard Beckert, Reiner Heahnle, Peter H. Schmitt (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Verification,Object-oriented methods (Computer science),Java (Computer program language)
رده :
QA
,
76
.
76
,.
V47
,
V474
,
2007
2. Verification of object-oriented software : the KeY approach
پدیدآورنده: Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
4334
