الكتب الالكترونية

عدد الكتب: 201 - 201 /201
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

اقرأ المزيد
عدد الكتب: 201 - 201 /201