Kategoria BISAC: Computers >> Programming - Compilers

Frustrated by the lack of well-written essays on software engineering, Joel Spolsky (of www.joelonsoftware.com fame) has put together a collection of his favorite writings on the topic.

With a nod to both the serious and funny sides of technical writing, The Best Software Writing I: Selected and Introduced by Joel Spolsky is an entertaining read and a guide to the technical writing literati.

The Best Software Writing I contains writings from:

• Ken Arnold
• Leon Bambrick
• Michael Bean
• Rory Blyth
• Adam...

There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.

The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality...

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.

The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.

C++/CLI is Microsofts latest extension to C++ that targets the heart of .NET 2.0, the common language runtime. Expert Visual C++/CLI is written by visual C++ MVP Marcus Heege, who examines the core of the C++/CLI language. He explains both how the language elements work and how Microsoft intends them to be used.

Even if you're new to C++/CLI and are planning to migrate to it from another language, this book will ground you in the core language elements and give you the confidence to explore further and migrate effectively. It provides concise, yet in-depth...

This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.

We discuss only those features and statements in C that are necessary to achieve our goal. Once you learn the principles well, they can be applied to any language. If you are worried that you are not good at high-school mathematics, don't be. It is a myth that you must be...