Ebook > 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.25

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.101 Ebooks nesta categoria

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

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

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

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

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

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

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

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

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

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

Próxima página >>>