电子书 > 科学 > 计算机科学 > 应用软件 > Adrian Riesco & Min Zhang: Formal Methods and Software Engineering (ePUB)

Adrian Riesco & Min Zhang
Formal Methods and Software Engineering [EPUB ebook]
23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

支持

的封面 Adrian Riesco & Min Zhang: Formal Methods and Software Engineering (ePUB)

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

€57.89

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

语言英语 ● 格式 EPUB ● ISBN 9783031172441 ● 编辑 Adrian Riesco & Min Zhang ● 出版者 Springer International Publishing ● 发布时间 2022 ● 下载 3 时 ● 货币 EUR ● ID 8683714 ● 复制保护 Adobe DRM

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

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

Adrian Riesco Min Zhang

16,941 此类电子书

的封面 Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

的封面 Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

的封面 Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop

Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop

Make NLP easy by building chatbots and models, and executing various NLP tasks to gain data-driven insights from raw text data Key Features

Get familiar with key natural language processing …

的封面 Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at pr …

的封面 Alan Clements: Computer Architecture with Python and ARM

Alan Clements: Computer Architecture with Python and ARM

<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …

的封面 Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

的封面 Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-cen …

的封面 Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

的封面 Howard Anderson & Bruce Hellingsworth: Higher National Computing

Howard Anderson & Bruce Hellingsworth: Higher National Computing

Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …

的封面 Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …