Foundations of Probabilistic ProgrammingGilles Barthe
Foundations of Probabilistic Programming
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2020
- שפה
- English
- הוצאה
- Cambridge University Press
- מהדורות
- 2
- ISBN
- 9781108770750
מקור הנתונים: Wikidata
עוד של Gilles Barthe
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
Verification, Model Checking, and Abstract InterpretationGilles Barthe
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe · 2010
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