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

Einführung in die Softwareverifizierung mit Dafny Language: Prüfprogramm

Name: Einführung in die Softwareverifizierung mit Dafny Language: Prüfprogramm
SKU: 146340233669
Price: 33.91 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

33,91 €

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
Author:

Sitnikovski, Boro
Book Title:

Introducing Software Verification with Dafny Langu
Item Height:

0.8 cm
Item Length:

23.4 cm
Item Weight:

0.22 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Apress

Sparversand:

Economy Int'l Postage 7,51 EUR - Lieferung zwischen 18. July 2025 und 08. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, USA, Kanada, Irland, Australien, Deutschland, Frankreich, Italien, Neuseeland, Belgien, Niederlande, Polen
Versand ausgeschlossen:

Isle of Man , Indonesien , Malaysia , Thailand , Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Algerien , ... und weitere