Alessandro Cimatti & Marjan Sirjani: Software Engineering and Formal Methods (ePUB) < برنامج التطبيق < علوم الكمبيوتر < علوم < آخر الأخبار

Alessandro Cimatti & Marjan Sirjani
Software Engineering and Formal Methods [EPUB ebook]
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

الدعم

غلاف Alessandro Cimatti & Marjan Sirjani: Software Engineering and Formal Methods (ePUB)

?This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.

€57.11

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة الإنجليزية ● شكل EPUB ● ISBN 9783319661971 ● محرر Alessandro Cimatti & Marjan Sirjani ● الناشر Springer International Publishing ● نشرت 2017 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6210723 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Alessandro Cimatti Marjan Sirjani

16٬455 كتب إلكترونية في هذه الفئة

غلاف Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

غلاف Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

غلاف Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

غلاف Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

غلاف Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

غلاف Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

غلاف Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

غلاف Jason Alls: Clean Code in C#

Jason Alls: Clean Code in C#

Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …

غلاف Badr Nasslahsen: Spring Security

Badr Nasslahsen: Spring Security

<p><b>Leverage the power of Spring Security 6 to protect your modern Java applications from hackers</b></p><h4>Key Features</h4><ul><li>Architect …

غلاف Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

There are a number of books on computational intelligence (CI), but they tend to cover a broad range of CI paradigms and algorithms rather than provide an in-depth exploration in learning and adaptiv …

الصفحة التالية >>>