Software Engineering and Formal MethodsGilles Barthe
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783642246906
Data source: Wikidata
More by 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
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