Suchergebnisse für ""Boro Sitnikovski""

Introduction to Dependent Types with Idris (eBook, PDF)
36,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Boro Sitnikovski
Introduction to Dependent Types with Idris (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. März 2023
Apress
Introducing Software Verification with Dafny Language (eBook, PDF)
34,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Boro Sitnikovski
Introducing Software Verification with Dafny Language (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
28. Februar 2022
Apress
Introducing Blockchain with Lisp (eBook, PDF)
56,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Boro Sitnikovski
Introducing Blockchain with Lisp (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
8. April 2021
Apress
Introduction to Dependent Types with Idris
33,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Boro Sitnikovski
Introduction to Dependent Types with Idris
  (Aktuell noch keine Bewertungen)
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
25,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Boro Sitnikovski
Introducing Software Verification with Dafny Language
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proving Program Correctness
1st ed.
1. März 2022
Apress / Springer, Berlin
978-1-4842-7977-9
Introducing Blockchain with Lisp
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Boro Sitnikovski
Introducing Blockchain with Lisp
  (Aktuell noch keine Bewertungen)
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

Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. Mai 2008
Springer-Verlag GmbH
Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. Juni 2009
Springer-Verlag GmbH
Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. August 2003
Springer Berlin Heidelberg
Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. September 2007
Springer-Verlag GmbH
Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. Juli 2003
Springer Berlin Heidelberg
Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. Mai 2004
Springer Berlin Heidelberg
Java 17 Recipes (eBook, PDF)
66,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Josh Juneau
Luciano Manelli
Java 17 Recipes (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
24. Februar 2022
Apress
Java 9 Recipes (eBook, PDF)
52,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Josh Juneau
Java 9 Recipes (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. Mai 2017
Apress
JavaFX 9 by Example (eBook, PDF)
66,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Carl Dea
Gerrit Grunwald
José Pereda
…mehr Autoren
Sean Phillips
Mark Heckler
JavaFX 9 by Example (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. September 2017
Apress


Ähnlichkeitssuche: Fact®Finder von OMIKRON