Formal Methods for Multicore Programming | Kaicus Deutschland

product image

product image

product image

product image

Formal Methods for Multicore Programming

51.36 EUR 10% Off 57.00 EUR

Dieses Werk bietet einen tiefen Einblick in formale Ansätze für die Entwicklung sicherer Mehrkernsoftware. Es verbindet theoretische Grundlagen mit praktischen Fallstudien, zeigt, wie man Speichersicherheit und Synchronisation formal modelliert und verifiziert.

Marke: Springer-Verlag GmbH

ISBN: 3319189409

MPN: 72 black & white illustrations, biograph

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-10%

Gesponsert Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

51.36 EUR 57.00 EUR

02-11-2026 22:45:44

Access to the deal

-10%

Gesponsert Formal Methods for Multicore Programming

Hugendubel

51.49 EUR 57.00 EUR

03-11-2026 19:35:45

Access to the deal

Gesponsert Formal Methods for Multicore Programming

SpringerLink DE

57.00 EUR 57.00 EUR

03-11-2026 17:49:38

Access to the deal

Ähnliche Produkte