Sách điện tử > Khoa học > Khoa học máy tính > Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation (ePUB)

Tiziana Margaria & Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation [EPUB ebook]
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Ủng hộ

Bìa của Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation (ePUB)

This book constitutes contributions of the ISo LA 2021 associated events. Altogether, ISo LA 2021 comprises contributions from the proceedings originally foreseen for ISo LA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

€77.50

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783030891596 ● Biên tập viên Tiziana Margaria & Bernhard Steffen ● Nhà xuất bản Springer International Publishing ● Được phát hành 2021 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 8196713 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Tiziana Margaria Bernhard Steffen

75.745 Ebooks trong thể loại này

Bìa của Team Orange: TouchCode Class 3

Team Orange: TouchCode Class 3

An Activity Book to Develop Coding Skills KEY FEATURES – National Education Policy 2020 – Crack the Code: It includes fun-based adventurous activities. – Time Taken: It lets the child analyse how muc …

Bìa của Team Orange: TouchCode Class 5

Team Orange: TouchCode Class 5

An Activity Book to Develop Coding Skills KEY FEATURES – National Education Policy 2020 – Crack the Code: It includes fun-based adventurous activities. – Time Taken: It lets the child analyse how muc …

Bìa của Team Orange: Touchpad Play Ver 2.0 Class 1

Team Orange: Touchpad Play Ver 2.0 Class 1

Computer Science Textbook Windows 10 & MS Office 2016 KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Bìa của (ISC)² Corporate: Official (ISC)2® Guide to the ISSAP® CBK

(ISC)² Corporate: Official (ISC)2® Guide to the ISSAP® CBK

Candidates for the CISSP-ISSAP professional certification need to not only demonstrate a thorough understanding of the six domains of the ISSAP CBK, but also need to have the ability to apply this in …

Bìa của Kusum Deep & Atulya K. Nagar: Handbook of Research on Soft Computing and Nature-Inspired Algorithms

Kusum Deep & Atulya K. Nagar: Handbook of Research on Soft Computing and Nature-Inspired Algorithms

Bìa của Nidhi Arora: Trackpad Pro Ver. 5.0 Class 3

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 3

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 …

Bìa của Nidhi Arora: Trackpad Pro Ver. 5.0 Class 8

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 8

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 …

Bìa của Wendy Despain: Writing for Video Game Genres

Wendy Despain: Writing for Video Game Genres

This book, written and edited by members of the International Game Developers Association (IGDA) Game Writing Special Interest Group, follows the acclaimed Professional Techniques for Video Game Writ …

Bìa của Eyal Estrin: Security for Cloud Native Applications

Eyal Estrin: Security for Cloud Native Applications

Security for cloud-native applications is an overview of cloud-native application’s characteristics from a security point of view, filled with best practices for securing services based on AWS, Azure …

Bìa của Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Trang tiếp theo >>>