Broschiertes Buch
Encoding Program Proofs in Types
1st ed.
18. März 2023
Apress / Springer, Berlin
978-1-4842-9258-7
eBook, PDF | 28,95 € |
Broschiertes Buch
Proving Program Correctness
1st ed.
1. März 2022
Apress / Springer, Berlin
978-1-4842-7977-9
eBook, PDF | 26,95 € |
Broschiertes Buch
Implement and Extend Blockchains with the Racket Language
1st ed.
9. April 2021
Apress / Springer, Berlin
978-1-4842-6968-8
eBook, PDF | 43,95 € |
14,99 €
Versandfertig in 1-2 Wochen
Ähnlichkeitssuche: Fact®Finder von OMIKRON