New book: Ada and SPARK on ARM Cortex-M


I am pleased to announce that the tutorial titled "Ada on ARM Cortex-M", which was announced here in its early stages, evolved and finally became a regular printed book:

formatting link

The complete book content is still available on-line here:

formatting link

This book is intended as an introduction for Ada beginners and covers also the basic concepts of SPARK that allows to write programs that can be statically proven to be free from runtime errors, which a very efficient approach for embedded systems. The Arduino Due board was used as a base for practical examples, but the book is intended to highlight the exploration process from the very fundamental basics and as such can be used with other boards and other Cortex-M microcontrollers.


Maciej Sobczak *
Reply to
Loading thread data ...

Thanks. I may look into this soon.

Reply to
Ed Prochak

ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.