Kategoria BISAC: Computers >> Software Development & Engineering - General

This book provides comprehensive detail about modern C programming, including the standards C99, C11, C17, C23, reflecting recent updates. The book features a number of targeted examples, atomic data types, and threads. After covering the standards of C, the author explains data types, operators, loops, conditional statements, functions, pointers, and more. The book is intended primarily for electrical and hardware engineers looking to use or update their knowledge of modern C programming.

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.

After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS...

This book constitutes the refereed proceedings of the 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, held in Valencia, Spain, in September 2023.

The 59 papers presented in this book were carefully reviewed and selected from 119 submissions.

They provide a comprehensive overview of the major challenges in sustainability of collaborative ecosystems; risks, security and resilience in networks; collaborative value creation and services; collaborative interactions and human-centered networks; skills and enabling technologies; collaborative...