جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1090
| عنوان: | Tests and Proofs : |
| عنوان دیگر: | 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / |
| پدیدآورنده: | TAP (Conference) ; (11th : ; 2017 : ; Marburg, Germany) ;;Gabmeyer, Sebastian. ; editor ;;Johnsen, Einar Broch. ; editor ; |
| کلید واژه ها: | Computer science ; Congresses ;;Computer organization ; Congresses ;;Computer programming ; Congresses ;;Software engineering ; Congresses ;;Computer logic ; Congresses ;;Computer-aided engineering ; Congresses ;;Computer Science ;;Software Enginee |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham : |
| ناشر: | Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10375 ; Lecture notes in computer science ; ; 10375. ; 0302-9743 ; |
| چکیده: | This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability ; |
| توضیحات : | Available to OhioLINK libraries ; 005.1 ; 23 ; Ohio Library and Information Network ; Printed edition: ; 9783319614663 ; |
| آدرس: | http://localhost/handle/Hannan/1090 |
| شابک : | 9783319614670 ; 3319614673 ; |
| اطلاعات بیشتر: | 1 online resource ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319614670.pdf | 8.29 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Tests and Proofs : |
| عنوان دیگر: | 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / |
| پدیدآورنده: | TAP (Conference) ; (11th : ; 2017 : ; Marburg, Germany) ;;Gabmeyer, Sebastian. ; editor ;;Johnsen, Einar Broch. ; editor ; |
| کلید واژه ها: | Computer science ; Congresses ;;Computer organization ; Congresses ;;Computer programming ; Congresses ;;Software engineering ; Congresses ;;Computer logic ; Congresses ;;Computer-aided engineering ; Congresses ;;Computer Science ;;Software Enginee |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham : |
| ناشر: | Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10375 ; Lecture notes in computer science ; ; 10375. ; 0302-9743 ; |
| چکیده: | This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability ; |
| توضیحات : | Available to OhioLINK libraries ; 005.1 ; 23 ; Ohio Library and Information Network ; Printed edition: ; 9783319614663 ; |
| آدرس: | http://localhost/handle/Hannan/1090 |
| شابک : | 9783319614670 ; 3319614673 ; |
| اطلاعات بیشتر: | 1 online resource ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319614670.pdf | 8.29 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Tests and Proofs : |
| عنوان دیگر: | 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / |
| پدیدآورنده: | TAP (Conference) ; (11th : ; 2017 : ; Marburg, Germany) ;;Gabmeyer, Sebastian. ; editor ;;Johnsen, Einar Broch. ; editor ; |
| کلید واژه ها: | Computer science ; Congresses ;;Computer organization ; Congresses ;;Computer programming ; Congresses ;;Software engineering ; Congresses ;;Computer logic ; Congresses ;;Computer-aided engineering ; Congresses ;;Computer Science ;;Software Enginee |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham : |
| ناشر: | Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10375 ; Lecture notes in computer science ; ; 10375. ; 0302-9743 ; |
| چکیده: | This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability ; |
| توضیحات : | Available to OhioLINK libraries ; 005.1 ; 23 ; Ohio Library and Information Network ; Printed edition: ; 9783319614663 ; |
| آدرس: | http://localhost/handle/Hannan/1090 |
| شابک : | 9783319614670 ; 3319614673 ; |
| اطلاعات بیشتر: | 1 online resource ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319614670.pdf | 8.29 MB | Adobe PDF | مشاهده فایل |