Електронна книга > Наука > Інформатика > Yi Li & Sofiene Tahar: Formal Methods and Software Engineering (ePUB)

Yi Li & Sofiene Tahar
Formal Methods and Software Engineering [EPUB ebook]
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Підтримка

Обкладинка Yi Li & Sofiene Tahar: Formal Methods and Software Engineering (ePUB)

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

€64.31

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9789819975846 ● Редактор Yi Li & Sofiene Tahar ● Видавець Springer Nature Singapore ● Опубліковано 2023 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 9252897 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Yi Li Sofiene Tahar

74 651 Електронні книги в цій категорі

Обкладинка Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …

Обкладинка El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner”s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Обкладинка Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Обкладинка Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Computer Science Textbook with New Pedagogical Approaches KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickiped …

Обкладинка Rollan Banez: Extending Creativity with Adobe Firefly

Rollan Banez: Extending Creativity with Adobe Firefly

<p><b>Learn how to use Generative AI to create images, add text and color effects, and perform image editing faster than ever with step-by-step guidance from a creative community leader a …

Обкладинка John M. Quick: Learn to Implement Games with Code

John M. Quick: Learn to Implement Games with Code

Game development is one of the most rewarding crafts of modern times. Not only is making games a wonderful lifelong hobby, but employment opportunities exist at many levels. Learn to Implement Games …

Обкладинка Team Orange: Touchpad Modular Ver. 1.1 Class 7

Team Orange: Touchpad Modular Ver. 1.1 Class 7

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Обкладинка Nidhi Arora: Trackpad Ver. 2.0 Class 6

Nidhi Arora: Trackpad Ver. 2.0 Class 6

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Обкладинка Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

The Key to Fully Understanding the Basics of a 3D World Prominently used in games, movies, and on television, 3D graphics are tools of creation used to enhance how material and light come together to …

Обкладинка Amit Aggarwal & Piyush Pandey: FinOps

Amit Aggarwal & Piyush Pandey: FinOps

Fin Ops is a novel cloud operating model that uses interdisciplinary teams to manage cloud expenditures in concert. With the help of the tools, best practices, and culture introduced in this book, bu …

Наступна сторінка >>>