معرفی کتاب دانلود رایگان کتاب انجمن کتاب

جستجو در تک بوک با گوگل!


Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–۲۵, ۲۰۱۵٫ Proceedings


Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Br


A Handbook of Verification Procedures


Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II


Verification, Validation and Testing of Engineered Systems (Wiley Series in Systems Engineering and Management)


Verification of Communication Protocols in Web Services: Model-Checking Service Compositions


Embedded systems handbook. 1, Embedded systems design and verification


Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings


Introduction to Finite Element Analysis: Formulation, Verification and Validation (Wiley Series in Computational Mechanics)


Introduction to Finite Element Analysis: Formulation, Verification and Validation





تمامی حقوق و مطالب سایت برای تک بوک محفوظ است و هرگونه کپی برداری بدون ذکر منبع ممنوع می باشد.


فید نقشه سایت

تمامی حقوق برای سایت تک بوک محفوظ میباشد