Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Subject : software quality

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

eBook

Fundamental Approaches to Software Engineering

Authors : Beyer, Dirk; Cavalcanti, Ana

Subjects: software engineering; requirements; design

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

eBook

Computer Aided Verification

Authors : Silva, Alexandra; Leino, K. Rustan M.

Subjects: architecture verification; artificial intelligence; computer programming

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

eBook

Automated Deduction – CADE 28

Authors : Platzer, André; Sutcliffe, Geoff

Subjects: Artificial Intelligence; Mathematical Logic and Formal Languages; Logics and Meanings of Programs

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

eBook

Computer Aided Verification

Authors : Lahiri, Shuvendu K.; Wang, Chao

Subjects: Software Engineering; Theory of Computation; Artificial Intelligence

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

eBook

Programming Languages and Systems

Authors : Müller, Peter

Subjects: Programming Languages, Compilers, Interpreters; Computer Systems Organization and Communication Networks; Control Structures and Microprogramming

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي