电子书 > 科学 > 计算机科学 > 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

支持

的封面 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 EPUB ● ISBN 9789819975846 ● 编辑 Yi Li & Sofiene Tahar ● 出版者 Springer Nature Singapore ● 发布时间 2023 ● 下载 3 时 ● 货币 EUR ● ID 9252897 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Yi Li Sofiene Tahar

75,634 此类电子书

的封面 Phillip Penix-Tadsen: Video Games and the Global South

Phillip Penix-Tadsen: Video Games and the Global South

的封面 James S. (Raleigh, North Carolina, USA) Tiller: A Technical Guide to IPSec Virtual Private Networks

James S. (Raleigh, North Carolina, USA) Tiller: A Technical Guide to IPSec Virtual Private Networks

What is IPSec? What”s a VPN? Why do the need each other? Virtual Private Network (VPN) has become one of the most recognized terms in our industry, yet there continuously seems to be different impre …

的封面 Douglas E. (Syneca Research Group Inc., Fairfax, Virginia, USA) Campbell & Raymond J (Strategic Consulting, Fairfax Station, Virginia, USA) Curts: Building A Global Information Assurance Program

Douglas E. (Syneca Research Group Inc., Fairfax, Virginia, USA) Campbell & Raymond J (Strategic Consulting, Fairfax Station, Virginia, USA) Curts: Building A Global Information Assurance Program

Governments, their agencies, and businesses are perpetually battling to protect valuable, classified, proprietary, or sensitive information but often find that the restrictions imposed upon them by i …

的封面 Sanjiv Purba: New Directions in Internet Management

Sanjiv Purba: New Directions in Internet Management

What is the business model for making money on the Internet and how does it function? The answer to this question will determine the shape of the Internet over the near term. As the Internet business …

的封面 Mark J. Johnson: A Concise Introduction to Data Structures using Java

Mark J. Johnson: A Concise Introduction to Data Structures using Java

A student-friendly text, A Concise Introduction to Data Structures Using Java takes a developmental approach, starting with simpler concepts first and then building toward greater complexity. Importa …

的封面 Tolga Soyata: Enabling Real-Time Mobile Cloud Computing through Emerging Technologies

Tolga Soyata: Enabling Real-Time Mobile Cloud Computing through Emerging Technologies

的封面 Daniel (German Sport University Cologne, Germany) Memmert & Dominik Raabe: Data Analytics in Football

Daniel (German Sport University Cologne, Germany) Memmert & Dominik Raabe: Data Analytics in Football

Data Analytics in Football provides students, researchers, and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, ex …

的封面乔恩 ·劳: 小型企业社交媒体营销

乔恩 ·劳: 小型企业社交媒体营销

社交媒体已经成为当前全球舞台上主导连接与协作的媒介。对于人们和社会来说，这种转变的影响是巨大的。而对于企业而言，影响则更为深远。在现代全球化和数字化的生态系统中，企业依赖于几十年前还无法获得的一整套工具。虽然出现了新的挑战，但小企业也因此获得了前所未有的机会，能够在社交媒体和数字营销赋能的竞争格局中崛起。写作《面向小型企业的社交媒体营销》这一想法，是当一位朋友向我展示了她为学习如何在社交媒体上 …

的封面 Salim Hariri & Manish Parashar: Autonomic Computing

Salim Hariri & Manish Parashar: Autonomic Computing

The complexity of modern computer networks and systems, combined with the extremely dynamic environments in which they operate, is beginning to outpace our ability to manage them. Taking yet another …

的封面 Anne (Lawrence Technological University, USA) Kohnke & Daniel Shoemaker: The Cybersecurity Body of Knowledge

Anne (Lawrence Technological University, USA) Kohnke & Daniel Shoemaker: The Cybersecurity Body of Knowledge

The Cybersecurity Body of Knowledge explains the content, purpose, and use of eight knowledge areas that define the boundaries of the discipline of cybersecurity. The discussion focuses on, and is dr …