جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/2716
| عنوان: | Software Engineering and Formal Methods |
| عنوان دیگر: | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / |
| پدیدآورنده: | Cerone, Antonio, ; editor. ;;Roveri, Marco, ; editor. ; |
| کلید واژه ها: | Computer Science;Computer hardware. ;;Computer organization. ;;Software Engineering;Computer logic. ;;Computers;Computer Science;Logics and Meanings of Programs. ;;Computer Systems Organization and Communication Networks. ;;Software E |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10729 ; Lecture notes in computer science. ; 0302-9743 ; ; 10729. ; |
| چکیده: | This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium eeFrom Data to Models and Back"; FAACS 2017 -- e1st Workshop on Formal Approaches for Advanced Computing Systems;eMSE 2017 -- 1st Workshop on Microservices: Science and Engineering;eCoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;eFOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . ; |
| توضیحات : | 42 ; SpringerLink (Online service) ; Printed edition: ; 9783319747804 ; |
| آدرس: | http://localhost/handle/Hannan/2716 |
| شابک : | 9783319747811 ; 978-3-319-74781-1 ; |
| اطلاعات بیشتر: | X, 592 pages 204 illustrations : ; online resource. ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319747811.pdf | 39.03 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Software Engineering and Formal Methods |
| عنوان دیگر: | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / |
| پدیدآورنده: | Cerone, Antonio, ; editor. ;;Roveri, Marco, ; editor. ; |
| کلید واژه ها: | Computer Science;Computer hardware. ;;Computer organization. ;;Software Engineering;Computer logic. ;;Computers;Computer Science;Logics and Meanings of Programs. ;;Computer Systems Organization and Communication Networks. ;;Software E |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10729 ; Lecture notes in computer science. ; 0302-9743 ; ; 10729. ; |
| چکیده: | This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium eeFrom Data to Models and Back"; FAACS 2017 -- e1st Workshop on Formal Approaches for Advanced Computing Systems;eMSE 2017 -- 1st Workshop on Microservices: Science and Engineering;eCoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;eFOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . ; |
| توضیحات : | 42 ; SpringerLink (Online service) ; Printed edition: ; 9783319747804 ; |
| آدرس: | http://localhost/handle/Hannan/2716 |
| شابک : | 9783319747811 ; 978-3-319-74781-1 ; |
| اطلاعات بیشتر: | X, 592 pages 204 illustrations : ; online resource. ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319747811.pdf | 39.03 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Software Engineering and Formal Methods |
| عنوان دیگر: | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / |
| پدیدآورنده: | Cerone, Antonio, ; editor. ;;Roveri, Marco, ; editor. ; |
| کلید واژه ها: | Computer Science;Computer hardware. ;;Computer organization. ;;Software Engineering;Computer logic. ;;Computers;Computer Science;Logics and Meanings of Programs. ;;Computer Systems Organization and Communication Networks. ;;Software E |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10729 ; Lecture notes in computer science. ; 0302-9743 ; ; 10729. ; |
| چکیده: | This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium eeFrom Data to Models and Back"; FAACS 2017 -- e1st Workshop on Formal Approaches for Advanced Computing Systems;eMSE 2017 -- 1st Workshop on Microservices: Science and Engineering;eCoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;eFOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . ; |
| توضیحات : | 42 ; SpringerLink (Online service) ; Printed edition: ; 9783319747804 ; |
| آدرس: | http://localhost/handle/Hannan/2716 |
| شابک : | 9783319747811 ; 978-3-319-74781-1 ; |
| اطلاعات بیشتر: | X, 592 pages 204 illustrations : ; online resource. ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319747811.pdf | 39.03 MB | Adobe PDF | مشاهده فایل |