Catalog > Ciência > Ciência da Computação > 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

Apoio

Capa do 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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9789819975846 ● Editor Yi Li & Sofiene Tahar ● Editora Springer Nature Singapore ● Publicado 2023 ● Carregável 3 vezes ● Moeda EUR ● ID 9252897 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Yi Li Sofiene Tahar

74.702 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do Frank Piepiorra: Vtiger CRM v6.5.0 - User and Administration Manual

Frank Piepiorra: Vtiger CRM v6.5.0 – User and Administration Manual

The vtiger CRM is one of the most exciting and best professional-quality Open Source CRM products for small and medium enterprises today. This book covers the CRM version 6.5.0 and is a step-by-step …

Capa do Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

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 …

Capa do 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 …

Capa do Ajit Singh: 5 G Technologies

Ajit Singh: 5 G Technologies

Capa do Jose P. Zagal: Game Design Snacks: Easily Digestible Game Design Wisdom

Jose P. Zagal: Game Design Snacks: Easily Digestible Game Design Wisdom

Capa do Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 7

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 7

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 …

Capa do 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 …

Capa do Katherine Dawkins: Stay in Your Lane

Katherine Dawkins: Stay in Your Lane

Próxima página >>>