Search Results: ''

Search

×
×
×
×
3 results for ""
Ada and SPARK on ARM Cortex-M By Maciej Sobczak
Paperback: $32.78
Prints in 3-5 business days
This book was written for all those who are interested in programming embedded systems and who would like to explore the idea of using Ada and SPARK in systems based on ARM Cortex-M microcontrollers.
Programming Distributed Systems with YAMI4 By Maciej Sobczak
Paperback: $31.87
Prints in 3-5 business days
The "YAMI4 Book" is a complete manual for users of the YAMI4 libraries. It describes the libraries structure, explains their API and provides examples of library usage patterns.
Formal Methods Toolkit By Maciej Sobczak
Paperback: $75.71
Prints in 3-5 business days
This book is a complete documentation for the Formal Methods Toolkit, which is a set of packages for software engineers working on safety-critical systems.

Top 10

see more >
 
 
 
 
 
 
 
5
The Way It Was The Way It Was By Alvin Fuhrman
Hardcover: $31.49
 
 
6
Vein Book Vein Book By Eric Dohner
Paperback: $10.00
 
 
 
 
8
LOOKING FOR A MIRACLE...LOOK WITHIN YOUR LIFE LOOKING FOR A... By May Lewis
Paperback: $6.20
 
 
10
Orthodox Bats Orthodox Bats By Anna Broome
Paperback: $20.00