Introduction to Dependent Types with Idris
Encoding Program Proofs in Types
Produktform: E-Buch Text Elektronisches Buch in proprietärem
36,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Introducing Software Verification with Dafny Language
Proving Program Correctness
Produktform: E-Buch Text Elektronisches Buch in proprietärem
34,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Introducing Blockchain with Lisp
Implement and Extend Blockchains with the Racket Language
Produktform: E-Buch Text Elektronisches Buch in proprietärem
56,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Introducing Blockchain with Lisp
Implement and Extend Blockchains with the Racket Language
Produktform: Buch / Einband - flex.(Paperback)
58,84 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Introducing Software Verification with Dafny Language
Proving Program Correctness using C# and Other Programming Languages
Produktform: Buch / Einband - flex.(Paperback)
35,30 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Introduction to Dependent Types with Idris
Encoding Program Proofs in Types
Produktform: Buch / Einband - flex.(Paperback)
37,44 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage