Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Introducing Software Verification with Dafny Language: Proving Program

Ø 0.0
0 Bewertungen
35,30 €

Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. Boro Sitnikovski has over ten years of experience working professionally as a software engineer.

Jetzt bei Ebay:

Zum Angebot *
  • EAN:
    9781484279779
  • UPC:
    9781484279779
  • ISBN:
    9781484279779
  • Format:
    Paperback, 131 pages
  • Breite:
    15.6 cm
  • Gewicht:
    0.22 kg
  • Höhe:
    0.8 cm
  • Länge:
    23.4 cm
  • Sprache:
    Eng
  • Standard Shipping from outside:
    Standardversand aus dem Ausland kostenlos - Lieferung zwischen 19. May 2025 und 26. June 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland, Österreich
  • Versand ausgeschlossen:
    Israel , Türkei , Russische Föderation , Albanien , Andorra , Griechenland , Spanien , Algerien , Angola , Kongo, Demokratische Republik , ... und weitere

Ähnliche Artikel

Produktbild - Introducing Software Verification with Dafny Language Boro Sitnikovski Buch xx

Introducing Software Verification with Dafny Language Boro Sitnikovski Buch xx

31,95 €
Zum Angebot
Produktbild - Boro Sitnikovski | Introducing Software Verification with Dafny Language | Buch

Boro Sitnikovski | Introducing Software Verification with Dafny Language | Buch

28,95 €
Zum Angebot
Produktbild - Introducing Software Verification with Dafny Language: Proving Program Correctne

Introducing Software Verification with Dafny Language: Proving Program Correctne

17,79 €
Zum Angebot
Produktbild - Introducing Software Verification with Dafny Language: Proving Program

Introducing Software Verification with Dafny Language: Proving Program

27,81 €
Zum Angebot
Produktbild - Introducing Go | Build Reliable, Scalable Programs | Caleb Doxsey | Englisch

Introducing Go | Build Reliable, Scalable Programs | Caleb Doxsey | Englisch

29,95 €
Zum Angebot
Produktbild - Rigorous Software Development An Introduction to Program Verification Buch xiii

Rigorous Software Development An Introduction to Program Verification Buch xiii

38,29 €
Zum Angebot
Produktbild - Introducing Software Verification with Dafny Language - 9781484279779

Introducing Software Verification with Dafny Language - 9781484279779

25,88 €
Zum Angebot
Produktbild - The Homoeopathic Proving of Hydrogen by the Dynamis School - Jeremy Sherr

The Homoeopathic Proving of Hydrogen by the Dynamis School - Jeremy Sherr

16,26 €
Zum Angebot
Produktbild - Hardware and Software: Verification and Testing Alan J. Hu

Hardware and Software: Verification and Testing Alan J. Hu

53,49 €
Zum Angebot
Produktbild - Simon St. Laurent J.david Eisenberg Introducing Elixir, 2e (Taschenbuch)

Simon St. Laurent J.david Eisenberg Introducing Elixir, 2e (Taschenbuch)

25,82 €
Zum Angebot
Produktbild - Computer Aided Verification Holger Hermanns

Computer Aided Verification Holger Hermanns

53,49 €
Zum Angebot
Produktbild - Rigorous Software Development | An Introduction to Program Verification | Buch

Rigorous Software Development | An Introduction to Program Verification | Buch

38,95 €
Zum Angebot
Produktbild - Automated Technology for Verification and Analysis Anders P. Ravn

Automated Technology for Verification and Analysis Anders P. Ravn

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

53,49 €
Zum Angebot
Produktbild - Sitnikovski - Introducing Software Verification with Dafny Language - T555z

Sitnikovski - Introducing Software Verification with Dafny Language - T555z

42,61 €
Zum Angebot
Produktbild - Python How to Program. Introducing XML. von Harvey Deitel | Buch | Zustand gut

Python How to Program. Introducing XML. von Harvey Deitel | Buch | Zustand gut

17,10 €
Zum Angebot
Produktbild - Introducing Software Verification with Dafny Language: - Paperback / softback N

Introducing Software Verification with Dafny Language: - Paperback / softback N

38,96 €
Zum Angebot
Produktbild - René Alt (u. a.) | Numerical Software with Result Verification | Taschenbuch

René Alt (u. a.) | Numerical Software with Result Verification | Taschenbuch

49,95 €
Zum Angebot
Produktbild - Thomas Mailund | Introducing Markdown and Pandoc | Taschenbuch | Englisch (2019)

Thomas Mailund | Introducing Markdown and Pandoc | Taschenbuch | Englisch (2019)

49,95 €
Zum Angebot
Produktbild - Kurt Sieber | The Foundations of Program Verification | Taschenbuch | Deutsch

Kurt Sieber | The Foundations of Program Verification | Taschenbuch | Deutsch

44,99 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay