Verification, Model Checking, and Abstract InterpretationGilles Barthe
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo · 2010
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2010
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783642113192
מקור הנתונים: Wikidata
עוד של Gilles Barthe
Foundations of Probabilistic ProgrammingGilles Barthe
Foundations of Probabilistic Programming
Gilles Barthe · 2020
Security and Trust ManagementGilles Barthe
Security and Trust Management
Gilles Barthe · 2016
Formal Aspects of Security and TrustGilles Barthe
Formal Aspects of Security and Trust
Gilles Barthe · 2012
Software Engineering and Formal MethodsGilles Barthe
Software Engineering and Formal Methods
Gilles Barthe · 2011
Programming Languages and SystemsGilles Barthe
Programming Languages and Systems
Gilles Barthe · 2011
Trustworthy Global ComputingGilles Barthe
Trustworthy Global Computing
Gilles Barthe · 2008
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe · 2006
Applied SemanticsGilles Barthe
Applied Semantics
Gilles Barthe · 2003
L'enfance spirituelleGilles Barthe
L'enfance spirituelle
Gilles Barthe · 2001