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

Sokongan
perlindungan daripada 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.25
cara bayaran
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format EPUB ● ISBN 9789819975846 ● Penyunting Yi Li & Sofiene Tahar ● Penerbit Springer Nature Singapore ● Diterbitkan 2023 ● Muat turun 3 kali ● Mata wang EUR ● ID 9252897 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Yi LiSofiene Tahar

74,101 Ebooks dalam kategori ini

perlindungan daripada Nick Vandome: iPad for Seniors in easy steps, 13th edition
Nick Vandome: iPad for Seniors in easy steps, 13th edition
This bestselling guide, i Pad for Seniors in easy steps, 13th edition, is updated to cover i Pad OS 17. Written in larger type, it’ll help senior folks learn how to use and enjoy myriad i Pad …
EPUB
Adobe DRM
€18.35
perlindungan daripada Nick Vandome: Lightroom in easy steps
Nick Vandome: Lightroom in easy steps
Lightroom in easy steps guides you through Adobe Lightroom’s sophisticated range of tools to enable you to create stunning photos. In no time, you’ll master:The desktop, mobile, and web versions of …
EPUB
Adobe DRM
€19.87
perlindungan daripada Nick Vandome: iPhone for Seniors in easy steps, 7th edition
Nick Vandome: iPhone for Seniors in easy steps, 7th edition
i Phone for Seniors in easy steps, 7th edition is now updated to cover all i Phones with i OS 14. It’ll show you how to:Make and receive phone calls Text with the Messages app, including a variety of …
EPUB
Adobe DRM
€16.90
perlindungan daripada Nick Vandome: Windows 11 in easy steps, 2nd edition
Nick Vandome: Windows 11 in easy steps, 2nd edition
Windows 11 was first released in 2021 and was a major evolution of the Windows operating system. This has continued with regular updates, with the latest one being the Windows 11 24H2 update. Windows …
EPUB
Adobe DRM
€18.37
perlindungan daripada Anjani Kumar & Sagar Lad: Mastering Databricks Lakehouse Platform
Anjani Kumar & Sagar Lad: Mastering Databricks Lakehouse Platform
Starting with the fundamentals of the databricks lakehouse platform, the book teaches readers on administering various data operations, including Machine Learning, Dev Ops, Data Warehousing, and BI …
EPUB
Adobe DRM
€25.40
perlindungan daripada El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide - An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru
El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide – An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru
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 …
EPUB
Adobe DRM
€6.45
perlindungan daripada Herong Yang: Cryptography Tutorials - Herong''s Tutorial Examples
Herong Yang: Cryptography Tutorials – Herong”s Tutorial Examples
This cryptography tutorial book is a collection of notes and sample codes written by the author while he was learning cryptography technologies himself. Topics include AES, blowfish, certificate, …
EPUB
Adobe DRM
€5.68
perlindungan daripada Pedro Isaias & Tomayess Issa: Artificial Intelligence Technologies and the Evolution of Web 3.0
Pedro Isaias & Tomayess Issa: Artificial Intelligence Technologies and the Evolution of Web 3.0
EPUB
Adobe DRM
€285.28
perlindungan daripada Dr. Hidaia Mahmood Alassouli: Creation of Mail Server Based On Virtual Users and Domains
Dr. Hidaia Mahmood Alassouli: Creation of Mail Server Based On Virtual Users and Domains
The purpose behind this work is to create a mail server solution based on Postfix that is based on virtual users and domains, i..e. users and domains that are in a My SQL database. The goal is to …
EPUB
Adobe DRM
€21.60
perlindungan daripada Information Resources Management Association: Information and Technology Literacy: Concepts, Methodologies, Tools, and Applications
Information Resources Management Association: Information and Technology Literacy: Concepts, Methodologies, Tools, and Applications
EPUB
Adobe DRM
€3,160.47
Muka surat seterusnya >>>