মন্তব্য করুন: Automated Technology for Verification and Analysis

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক:	SpringerLink (Online service)
অন্যান্য লেখক:	Namjoshi, Kedar. (Editor, http://id.loc.gov/vocabulary/relators/edt), Yoneda, Tomohiro. (Editor, http://id.loc.gov/vocabulary/relators/edt), Higashino, Teruo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Okamura, Yoshio. (Editor, http://id.loc.gov/vocabulary/relators/edt)
বিন্যাস:	বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
ভাষা:	English
প্রকাশিত:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
সংস্করন:	1st ed. 2007.
মালা:	Programming and Software Engineering ; 4762
বিষয়গুলি:	Computer-aided engineering. Computer logic. Computers. Computer communication systems. Special purpose computers. Software engineering. Computer-Aided Engineering (CAD, CAE) and Design. Logics and Meanings of Programs. Information Systems and Communication Service. Computer Communication Networks. Special Purpose and Application-Based Systems. Software Engineering.
অনলাইন ব্যবহার করুন:	https://doi.org/10.1007/978-3-540-75596-8
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

প্রথমজন হিসাবে মন্তব্য করুন!