Zertifizierte Programmierung mit abhängigen Typen: Eine pragmatische Einführung in die
86,90 €
Two topics, rarely discussed elsewhere, are covered in detail- effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of domain-specific proof tactics.
Jetzt bei Ebay:
![Produktbild - MATLAB: A Practical Introduction to Programming and Problem Solving [Paperback]](https://i.ebayimg.com/thumbs/images/g/wyoAAeSw5lloUq16/s-l140.jpg)
![Produktbild - Python: An Introduction to Programming [With CD (Audio)] by Parker, James R.](https://i.ebayimg.com/thumbs/images/g/KBEAAeSwUqJn5JvV/s-l140.jpg)
