1. Tools and Algorithms for the Construction and Analysis of Systems
المؤلف: / Nir Piterman, Scott A. Smolka
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Tools and algorithms for the construction and analysis of systems
المؤلف: Nir Piterman, Scott A. Smolka (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
