جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/652
| عنوان: | Formal Methods |
| عنوان دیگر: | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / |
| پدیدآورنده: | Havelund, Klaus. ;;Peleska, Jan. ;;Roscoe, Bill. ;;de Vink, Erik. ; |
| کلید واژه ها: | Computer Science;Computer system failures. ;;Software Engineering;Programming Languages and Electronic Computers;Computers;Artificial Intelligence;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Theory of Computation. ;;Artificial Intelligence and Robotics;Simulation and Modeling. ;;System Performance and Evaluation. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; |
| چکیده: | This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319955810. ; 005.1 ; 23 ; |
| آدرس: | http://localhost/handle/Hannan/652 |
| شابک : | 9783319955827 ; 9783319955810 (print) ; |
| اطلاعات بیشتر: | XIV, 692 p. 131 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319955810.pdf | 26.18 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Formal Methods |
| عنوان دیگر: | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / |
| پدیدآورنده: | Havelund, Klaus. ;;Peleska, Jan. ;;Roscoe, Bill. ;;de Vink, Erik. ; |
| کلید واژه ها: | Computer Science;Computer system failures. ;;Software Engineering;Programming Languages and Electronic Computers;Computers;Artificial Intelligence;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Theory of Computation. ;;Artificial Intelligence and Robotics;Simulation and Modeling. ;;System Performance and Evaluation. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; |
| چکیده: | This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319955810. ; 005.1 ; 23 ; |
| آدرس: | http://localhost/handle/Hannan/652 |
| شابک : | 9783319955827 ; 9783319955810 (print) ; |
| اطلاعات بیشتر: | XIV, 692 p. 131 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319955810.pdf | 26.18 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Formal Methods |
| عنوان دیگر: | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / |
| پدیدآورنده: | Havelund, Klaus. ;;Peleska, Jan. ;;Roscoe, Bill. ;;de Vink, Erik. ; |
| کلید واژه ها: | Computer Science;Computer system failures. ;;Software Engineering;Programming Languages and Electronic Computers;Computers;Artificial Intelligence;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Theory of Computation. ;;Artificial Intelligence and Robotics;Simulation and Modeling. ;;System Performance and Evaluation. ;;QA76.758 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; |
| چکیده: | This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319955810. ; 005.1 ; 23 ; |
| آدرس: | http://localhost/handle/Hannan/652 |
| شابک : | 9783319955827 ; 9783319955810 (print) ; |
| اطلاعات بیشتر: | XIV, 692 p. 131 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319955810.pdf | 26.18 MB | Adobe PDF | مشاهده فایل |