1. Formal Methods for Components and Objects
پدیدآورنده : / Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Handbuch der metallographischen Atzverfahren
پدیدآورنده : Beckert, M
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Metallography
رده :
TN
690
.
B36
3. 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
