جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/647
| عنوان: | Model Checking Software |
| عنوان دیگر: | 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / |
| پدیدآورنده: | Gallardo, Marea del Mar. ;;Merino, Pedro. ; |
| کلید واژه ها: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Algorithms;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Simulation and Modeling. ;;Mathematical Logic and Formal Languages. ;;Algorithm Analysis and Problem Complexity. ;;Logics and Meanings of Programs. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; |
| چکیده: | This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. . ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319941103. ; 005.1 ; 23 ; |
| آدرس: | http://localhost/handle/Hannan/647 |
| شابک : | 9783319941110 ; 9783319941103 (print) ; |
| اطلاعات بیشتر: | XVI, 347 p. 78 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319941103.pdf | 10.48 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Model Checking Software |
| عنوان دیگر: | 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / |
| پدیدآورنده: | Gallardo, Marea del Mar. ;;Merino, Pedro. ; |
| کلید واژه ها: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Algorithms;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Simulation and Modeling. ;;Mathematical Logic and Formal Languages. ;;Algorithm Analysis and Problem Complexity. ;;Logics and Meanings of Programs. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; |
| چکیده: | This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. . ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319941103. ; 005.1 ; 23 ; |
| آدرس: | http://localhost/handle/Hannan/647 |
| شابک : | 9783319941110 ; 9783319941103 (print) ; |
| اطلاعات بیشتر: | XVI, 347 p. 78 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319941103.pdf | 10.48 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Model Checking Software |
| عنوان دیگر: | 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / |
| پدیدآورنده: | Gallardo, Marea del Mar. ;;Merino, Pedro. ; |
| کلید واژه ها: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Algorithms;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Simulation and Modeling. ;;Mathematical Logic and Formal Languages. ;;Algorithm Analysis and Problem Complexity. ;;Logics and Meanings of Programs. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; |
| چکیده: | This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. . ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319941103. ; 005.1 ; 23 ; |
| آدرس: | http://localhost/handle/Hannan/647 |
| شابک : | 9783319941110 ; 9783319941103 (print) ; |
| اطلاعات بیشتر: | XVI, 347 p. 78 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319941103.pdf | 10.48 MB | Adobe PDF | مشاهده فایل |