جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید. http://localhost/handle/Hannan/1295
عنوان: Verified software :
عنوان دیگر: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /
VSTTE 2017 ;
پدیدآورنده: VSTTE (Conference) ; (9th : ; 2017 : ; Heidelberg, Germany) ;;Paskevich, Andrei, ; editor ;;Wies, Thomas, ; editor ;
کلید واژه ها: Computer software ; Verification ; Congresses ;;Computer software ; Quality control ; Congresses ;;Compilers (Computer programs) ; Congresses ;
تاریخ انتشار: 2017
محل نشر: Cham, Switzerland :
ناشر: Springer,
فروست / شماره : Lecture Notes in Computer Science, ; 0302-9743 ; ; 10712 ;
LNCS sublibrary. SL 2, Programming and software engineering ;
Lecture notes in computer science ; ; 10712. ; 0302-9743 ;
LNCS sublibrary. ; SL 2, ; Programming and software engineering ;
توضیحات : Ohio Library and Information Network ;
Available to OhioLINK libraries ;



آدرس: http://localhost/handle/Hannan/1295
شابک : 9783319723082 ; (electronic bk.) ;
3319723081 ; (electronic bk.) ;
9783319723075 ; (print) ;
اطلاعات بیشتر: 1 online resource (xiii, 211 pages) : ; illustrations ;
Includes author index ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319723082.pdf6.32 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Verified software :
عنوان دیگر: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /
VSTTE 2017 ;
پدیدآورنده: VSTTE (Conference) ; (9th : ; 2017 : ; Heidelberg, Germany) ;;Paskevich, Andrei, ; editor ;;Wies, Thomas, ; editor ;
کلید واژه ها: Computer software ; Verification ; Congresses ;;Computer software ; Quality control ; Congresses ;;Compilers (Computer programs) ; Congresses ;
تاریخ انتشار: 2017
محل نشر: Cham, Switzerland :
ناشر: Springer,
فروست / شماره : Lecture Notes in Computer Science, ; 0302-9743 ; ; 10712 ;
LNCS sublibrary. SL 2, Programming and software engineering ;
Lecture notes in computer science ; ; 10712. ; 0302-9743 ;
LNCS sublibrary. ; SL 2, ; Programming and software engineering ;
توضیحات : Ohio Library and Information Network ;
Available to OhioLINK libraries ;



آدرس: http://localhost/handle/Hannan/1295
شابک : 9783319723082 ; (electronic bk.) ;
3319723081 ; (electronic bk.) ;
9783319723075 ; (print) ;
اطلاعات بیشتر: 1 online resource (xiii, 211 pages) : ; illustrations ;
Includes author index ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319723082.pdf6.32 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Verified software :
عنوان دیگر: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /
VSTTE 2017 ;
پدیدآورنده: VSTTE (Conference) ; (9th : ; 2017 : ; Heidelberg, Germany) ;;Paskevich, Andrei, ; editor ;;Wies, Thomas, ; editor ;
کلید واژه ها: Computer software ; Verification ; Congresses ;;Computer software ; Quality control ; Congresses ;;Compilers (Computer programs) ; Congresses ;
تاریخ انتشار: 2017
محل نشر: Cham, Switzerland :
ناشر: Springer,
فروست / شماره : Lecture Notes in Computer Science, ; 0302-9743 ; ; 10712 ;
LNCS sublibrary. SL 2, Programming and software engineering ;
Lecture notes in computer science ; ; 10712. ; 0302-9743 ;
LNCS sublibrary. ; SL 2, ; Programming and software engineering ;
توضیحات : Ohio Library and Information Network ;
Available to OhioLINK libraries ;



آدرس: http://localhost/handle/Hannan/1295
شابک : 9783319723082 ; (electronic bk.) ;
3319723081 ; (electronic bk.) ;
9783319723075 ; (print) ;
اطلاعات بیشتر: 1 online resource (xiii, 211 pages) : ; illustrations ;
Includes author index ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319723082.pdf6.32 MBAdobe PDFتصویر
مشاهده فایل