Similar Listings
Introduction to Dependent Types With Idris : Encoding Program Proofs in Types...
Introduction to Dependent Types With Idris : Encoding Program Proofs in Types...
Programming Robots with ROS: A Practical Introduction to the Robot Operating Sys
C# for Beginners: An Introduction to C# Programming with Tutorials and Hands...
Programming Robots with ROS : A Practical Introduction to the Robot Operating...
Introduction to Dependent Types with Idris - 9781484292587
Programming Robots with Ros: A Practical Introduction to the Robot Operating...
An Introduction to Assembly Programming with RISC-V