1. Hardware and Software: Verification and Testing
پدیدآورنده: / Nir Piterman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Hardware and software
پدیدآورنده: \ Nir Piterman (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,Software engineering,کامپیوتر,شبکه‌های کامپیوتری,نرم‌افزار, -- مهندسی,a04,a06,a03,a04,a06,a03
رده :
QA
76
.
I58
H32
2015
E-Book
,
3. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده: / Nir Piterman, Scott A. Smolka
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. 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
