Introducing Software Verification with Dafny Language

Name: Introducing Software Verification with Dafny Language
SKU: P37149993
Price: 46.00 CHF
Availability: InStock
ISBN: 9781484279779

Proving Program Correctness

Boro Sitnikovski

Verlag:

APRESS

Unsere-Artikel-Nr.: P37149993

EAN: 9781484279779

Erhältlich:

Nicht auf Lager

Zustellung: Mi, 23.09.2026

Versand: Kostenlos

-1.9 %

CHF 46.90

CHF 46.–

Warenkorb