جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/617
| عنوان: | Automated Technology for Verification and Analysis |
| عنوان دیگر: | 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / |
| پدیدآورنده: | Lahiri, Shuvendu K. ;;Wang, Chao. ; |
| کلید واژه ها: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Computer Security;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Systems and Data Security;Simulation and Modeling. ;;Logics and Meanings of Programs. ;;Mathematical Logic and Formal Languages. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 11138. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 11138. ; |
| چکیده: | This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. ; |
| توضیحات : | SpringerLink (Online service) ; 005.1 ; 23 ; Printed edition: ; 9783030010898. ; |
| آدرس: | http://localhost/handle/Hannan/617 |
| شابک : | 9783030010904 ; 9783030010898 (print) ; |
| اطلاعات بیشتر: | XIII, 560 p. 133 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783030010898.pdf | 19.14 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Automated Technology for Verification and Analysis |
| عنوان دیگر: | 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / |
| پدیدآورنده: | Lahiri, Shuvendu K. ;;Wang, Chao. ; |
| کلید واژه ها: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Computer Security;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Systems and Data Security;Simulation and Modeling. ;;Logics and Meanings of Programs. ;;Mathematical Logic and Formal Languages. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 11138. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 11138. ; |
| چکیده: | This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. ; |
| توضیحات : | SpringerLink (Online service) ; 005.1 ; 23 ; Printed edition: ; 9783030010898. ; |
| آدرس: | http://localhost/handle/Hannan/617 |
| شابک : | 9783030010904 ; 9783030010898 (print) ; |
| اطلاعات بیشتر: | XIII, 560 p. 133 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783030010898.pdf | 19.14 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Automated Technology for Verification and Analysis |
| عنوان دیگر: | 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / |
| پدیدآورنده: | Lahiri, Shuvendu K. ;;Wang, Chao. ; |
| کلید واژه ها: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Computer Security;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Systems and Data Security;Simulation and Modeling. ;;Logics and Meanings of Programs. ;;Mathematical Logic and Formal Languages. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 11138. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 11138. ; |
| چکیده: | This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. ; |
| توضیحات : | SpringerLink (Online service) ; 005.1 ; 23 ; Printed edition: ; 9783030010898. ; |
| آدرس: | http://localhost/handle/Hannan/617 |
| شابک : | 9783030010904 ; 9783030010898 (print) ; |
| اطلاعات بیشتر: | XIII, 560 p. 133 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783030010898.pdf | 19.14 MB | Adobe PDF | مشاهده فایل |