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

Boro Sitnikovski | Introducing Software Verification with Dafny Language | Buch

Ø 0.0

0 Bewertungen

28,95 €

Titel: Introducing Software Verification with Dafny Language | Zusatz: Proving Program Correctness | Medium: Taschenbuch | Autor: Boro Sitnikovski | Einband: Kartoniert / Broschiert | Inhalt: xx / 131 S. / 104 s/w Illustr. / 131 p. 104 illus. | Auflage: 1st edition | Sprache: Englisch | Seiten: 152 | Maße: 235 x 155 x 9 mm | Erschienen: 01.03.2022 | Anbieter: Faboplay.

Jetzt bei Ebay:

Buchtitel:

Introducing Software Verification with Dafny Language
Autor:

Boro Sitnikovski
Sprache:

Englisch
Erscheinungsjahr:

2022
Anzahl der Seiten:

152
Marke:

APRESS
Hersteller:

APRESS
Verlag:

APRESS
Format:

Taschenbuch
Genre:

Importe
Ausgabe:

1st edition
Titelzusatz:

Proving Program Correctness
Schlagworte:

Programmiersprachen, Microsoftprogrammierung, Informatik, EDV, Pr
Herstellungsland und -region:

Deutschland
ISBN:

1484279778

Standardversand:

Deutsche Post Brief 2,95 EUR - Lieferung zwischen 15. May 2025 und 17. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 4,95 EUR - Lieferung zwischen 15. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere