المقتنيات: Automated Technology for Verification and Analysis

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Namjoshi, Kedar. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Yoneda, Tomohiro. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Higashino, Teruo. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Okamura, Yoshio. (المحرر, 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
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!