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.74

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

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

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

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

Alessandro Cimatti Marjan Sirjani

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

غلاف Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

غلاف Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

غلاف Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

غلاف Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

غلاف Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

غلاف 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 requiremen …

غلاف Dr. Pratiyush Guleria: Basics of Python Programming

Dr. Pratiyush Guleria: Basics of Python Programming

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …

غلاف Mike McGrath: R for Data Analysis in easy steps, 2nd edition

Mike McGrath: R for Data Analysis in easy steps, 2nd edition

R for Data Analysis in easy steps, 2nd edition has an easy-to-follow style that will appeal to anyone who wants to produce graphic visualizations to gain insights from gathered data. The book begins …

غلاف J. D. Glaser: Secure Development for Mobile Apps

J. D. Glaser: Secure Development for Mobile Apps

The world is becoming increasingly mobile. Smartphones and tablets have become more powerful and popular, with many of these devices now containing confidential business, financial, and personal info …

غلاف Mayur Borse: Modern Web Development with Deno

Mayur Borse: Modern Web Development with Deno

Deno is a web platform that offers capabilities for Java Script and Type Script and supports modern web standards. It is a straightforward, up-to-date, secure runtime environment for web developers.T …

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