![Introduction to Dependent Types with Idris Introduction to Dependent Types with Idris](https://bilder.buecher.de/produkte/67/67238/67238276m.jpg)
Broschiertes Buch
Encoding Program Proofs in Types
1st ed.
18. März 2023
Apress / Springer, Berlin
978-1-4842-9258-7
![Introducing Software Verification with Dafny Language Introducing Software Verification with Dafny Language](https://bilder.buecher.de/produkte/63/63079/63079644m.jpg)
Broschiertes Buch
Proving Program Correctness
1st ed.
1. März 2022
Apress / Springer, Berlin
978-1-4842-7977-9
![Introducing Blockchain with Lisp Introducing Blockchain with Lisp](https://bilder.buecher.de/produkte/61/61088/61088729m.jpg)
Broschiertes Buch
Implement and Extend Blockchains with the Racket Language
1st ed.
9. April 2021
Apress / Springer, Berlin
978-1-4842-6968-8
Ähnliche Artikel
![JavaFX 9 by Example (eBook, PDF) JavaFX 9 by Example (eBook, PDF)](https://bilder.buecher.de/produkte/53/53034/53034695m.jpg)
![Java 17 Recipes (eBook, PDF) Java 17 Recipes (eBook, PDF)](https://bilder.buecher.de/produkte/63/63504/63504721m.jpg)
![Java Closures and Lambda (eBook, PDF) Java Closures and Lambda (eBook, PDF)](https://bilder.buecher.de/produkte/43/43799/43799704m.jpg)
![Learn to Program with Assembly (eBook, PDF) Learn to Program with Assembly (eBook, PDF)](https://bilder.buecher.de/produkte/62/62885/62885249m.jpg)
![Sequence Analysis and Modern C++ (eBook, PDF) Sequence Analysis and Modern C++ (eBook, PDF)](https://bilder.buecher.de/produkte/63/63570/63570170m.jpg)
eBook, PDF
7. März 2022
Springer International Publishing
![Beginning Go Programming (eBook, PDF) Beginning Go Programming (eBook, PDF)](https://bilder.buecher.de/produkte/66/66499/66499960m.jpg)
![Java 9 Recipes (eBook, PDF) Java 9 Recipes (eBook, PDF)](https://bilder.buecher.de/produkte/53/53032/53032620m.jpg)
![Introduction to Java Through Game Development (eBook, PDF) Introduction to Java Through Game Development (eBook, PDF)](https://bilder.buecher.de/produkte/66/66664/66664118m.jpg)
![Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide (eBook, PDF) Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide (eBook, PDF)](https://bilder.buecher.de/produkte/44/44485/44485068m.jpg)
eBook, PDF
30. Dezember 2015
APRESS
Ähnlichkeitssuche: Fact®Finder von OMIKRON