Formal Methods: Foundations and ApplicationsJim Davies
Formal Methods: Foundations and Applications
Jim Davies · 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
- Series
- Lecture Notes in Computer Science -- 6527
- Publisher
- Springer Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783642198281
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
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
Integrated Formal MethodsJim Davies
Integrated Formal Methods
Jim Davies · 2007