Integrated Formal MethodsJim Davies
Integrated Formal Methods
Jim Davies, Jeremy Gibbons · 2007
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
- 2007
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540732105
Data source: Wikidata
More by Jim Davies
RivetedJim Davies
Riveted
Jim Davies · 2014
Formal methods and software engineeringJim Davies
Formal methods and software engineering
Jim Davies · 2005
Formal Methods: Foundations and ApplicationsJim Davies
Formal Methods: Foundations and Applications
Jim Davies · 2011
Being the Person Your Dog Thinks You AreJim Davies
Being the Person Your Dog Thinks You Are
Jim Davies · 2021
Riveted Lib/EJim Davies
Riveted Lib/E
Jim Davies · 2021
ImaginationJim Davies
Imagination
Jim Davies · 2019
Specification and Proof in Real Time CSPJim Davies
Specification and Proof in Real Time CSP
Jim Davies · 2012
Proceedings of the 5th International Conference on Theory and Practice of Electronic GovernanceJim Davies
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
Jim Davies · 2011