Catalog > Sciences > Computer Science > 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

Support

Cover of 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

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9789819975846 ● Editor Yi Li & Sofiene Tahar ● Publisher Springer Nature Singapore ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 9252897 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Yi Li Sofiene Tahar

74,702 Ebooks in this category

Cover of Robert Rybaric: Microsoft Power Platform Up and Running

Robert Rybaric: Microsoft Power Platform Up and Running

The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …

Cover of Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5

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 …

Cover of Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4

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 …

Cover of Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide

Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide

Cloud security is a rapidly evolving field, demanding professionals with specialized knowledge and expertise. This book equips you with the foundational understanding and practical skills necessary t …

Cover of Ajit Singh: 5 G Technologies

Ajit Singh: 5 G Technologies

Cover of Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 6

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 6

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – QR Code: Scan the QR Code given on each chapter to start chapter animation. – Fun Fact!: This pr …

Cover of Ummed Meel: Advanced Penetration Testing with Kali Linux

Ummed Meel: Advanced Penetration Testing with Kali Linux

This book is a comprehensive guide to Vulnerability Assessment and Penetration Testing (VAPT), designed to teach and empower readers of all cybersecurity backgrounds. Whether you are a beginner or an …

Cover of Picklu Paul: Demystifying DevSecOps in AWS

Picklu Paul: Demystifying DevSecOps in AWS

"Demystifying Dev Sec Ops in AWS" is a practical and insightful handbook designed to empower you in your pursuit of securing modern enterprises within Amazon Web Services (AWS) environments …

Cover of Michael Macaulay: Introduction to Web Interaction Design

Michael Macaulay: Introduction to Web Interaction Design

This book introduces standard and new HTML5 elements and attributes and CSS3 properties commonly used in Web design as well as design guidelines for their effective use. Its approach of explaining ev …

Cover of Rick F. van der Lans: Data Virtualization: Selected Writings

Rick F. van der Lans: Data Virtualization: Selected Writings