booktheque

Guide to Software Verification with Frama-C

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles · 2025

איפה לקנות

בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה
2025
שפה
English
הוצאה
Springer International Publishing AG
מהדורות
2
עמודים
697
ISBN
9783031556104

מקור הנתונים: Wikidata

עוד של Nikolai Kosmatov