formal methods in

(702 offers*)
Filter
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
£49.10
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... (Lecture Notes in Computer Science, 15222)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... (Lecture Notes in Computer Science, 15222)
£44.43
Compare 8 prices
amazon.co.uk
Free Delivery
Formal Methods for Discrete-Time Dynamical Systems – Studies in Systems, Decision and Control, 89
Formal Methods for Discrete-Time Dynamical Systems – Studies in Systems, Decision and Control, 89
£104.00
Compare 8 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 9104)
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 9104)
£37.39
Compare 11 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Modeling and Analysis Methods for Secure Transmission of Vehicle-to-Everything (V2X) Information in Zero-Trust Environment(Chinese Edition)
Formal Modeling and Analysis Methods for Secure Transmission of Vehicle-to-Everything (V2X) Information in Zero-Trust Environment(Chinese Edition)
£36.68
Compare 2 prices
Amazon-marketplace.co.uk
Delivery from £8.01
Formal Methods for Software Engineering – Languages, Methods, Application Domains – Springer Verlag
Formal Methods for Software Engineering – Languages, Methods, Application Domains – Springer Verlag
£32.70
Compare 11 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science, 16363)
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science, 16363)
£46.36
Go to shop
amazon.co.uk
Free Delivery
Formal Methods, Informally : How to Write Programs That Work
Formal Methods, Informally : How to Write Programs That Work
£36.32
Compare 11 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods: An Appetizer
Formal Methods: An Appetizer
£41.47
Compare 7 prices
Amazon-marketplace.co.uk
Delivery from £7.74
Z 2e: An Introduction to Formal Methods
Z 2e: An Introduction to Formal Methods
£42.99
Compare 11 prices
Amazon-marketplace.co.uk
Delivery from £2.80
Concise Guide to Formal Methods – Theory, Fundamentals & Industry Applications
Concise Guide to Formal Methods – Theory, Fundamentals & Industry Applications
£48.61
Compare 7 prices
amazon.co.uk
Free Delivery
Formal Methods in Manufacturing (Industrial Information Technology)
Formal Methods in Manufacturing (Industrial Information Technology)
£74.99
Compare 9 prices
amazon.co.uk
Free Delivery
Methods and Models: A Guide to the Empirical Analysis of Formal Models in Political Science
Methods and Models: A Guide to the Empirical Analysis of Formal Models in Political Science
£23.87
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Formal and Informal Methods in Philosophy (Polish Analytical Philosophy, 113) - Brill
Formal and Informal Methods in Philosophy (Polish Analytical Philosophy, 113) - Brill
£135.00
Compare 5 prices
amazon.co.uk
Free Delivery
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands
£39.99
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods in Software Engineering
Formal Methods in Software Engineering
£22.42
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods in Artificial Intelligence – Cambridge Tracts in Theoretical Computer Science, No. 6
Formal Methods in Artificial Intelligence – Cambridge Tracts in Theoretical Computer Science, No. 6
£37.72
Compare 10 prices
amazon.co.uk
Free Delivery
Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science, 16470)
Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science, 16470)
£84.99
Go to shop
amazon.co.uk
Free Delivery
Traditional Methods of Pattern Designing: An Introduction Tothe Study of Formal Ornament
Traditional Methods of Pattern Designing: An Introduction Tothe Study of Formal Ornament
£22.95
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods in Architecture – Proceedings, 6th Int. Symposium (6FMA), A Coruña 2022 – Digital
Formal Methods in Architecture – Proceedings, 6th Int. Symposium (6FMA), A Coruña 2022 – Digital
£157.39
Compare 5 prices
Amazon-marketplace.co.uk
Free Delivery
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
£39.99
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods in Musicology: Models and Computation
Formal Methods in Musicology: Models and Computation
£77.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... February 15-18, 1999, Florence, Italy
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... February 15-18, 1999, Florence, Italy
£39.99
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods in Software Engineering
Formal Methods in Software Engineering
£25.69
Go to shop
amazon.co.uk
Free Delivery
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
£73.87
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
£13.17
Go to shop
amazon.co.uk
Free Delivery
Traditional Methods of Pattern Designing: An Introduction Tothe Study of Formal Ornament
Traditional Methods of Pattern Designing: An Introduction Tothe Study of Formal Ornament
£74.45
Go to shop
Amazon-marketplace.co.uk
Free Delivery
Correctness by Meaning: Formal Methods for the Natural-Language Era: 2 (Meaning Engineering for Software Systems)
Correctness by Meaning: Formal Methods for the Natural-Language Era: 2 (Meaning Engineering for Software Systems)
£17.77
Go to shop
amazon.co.uk
Free Delivery
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
£71.24
Go to shop
Whsmith.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
£18.30
Go to shop
amazon.co.uk
Free Delivery
Arqueologia y Techne: Metodos formales, nuevos enfoques : Archaeology and Techne: Formal methods, new approaches
Arqueologia y Techne: Metodos formales, nuevos enfoques : Archaeology and Techne: Formal methods, new approaches
£36.10
Go to shop
Whsmith.co.uk
Free Delivery
Applications Of Formal Methods (Prentice-hall International Series in Computer Science)
Applications Of Formal Methods (Prentice-hall International Series in Computer Science)
£43.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
£104.49
Go to shop
Whsmith.co.uk
Free Delivery
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
£64.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems
£80.75
Go to shop
Whsmith.co.uk
Free Delivery
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science, 16566)
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science, 16566)
£44.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
£52.24
Go to shop
Whsmith.co.uk
Free Delivery
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 16365)
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 16365)
£84.99
Go to shop
amazon.co.uk
Free Delivery
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
£61.74
Go to shop
Whsmith.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2 (AI & New Age Math)
£18.30
Go to shop
amazon.co.uk
Free Delivery
  • 1
  • 2
  • 3
  • 4
  • 5

🤖 Ask ChatGPT

🛍️ What are the most important purchase criteria? 💰 Tell me the best deals! 📋 Create a short summary!

Informations about "formal methods in"

Compare 702 offers for your search.

Pricehunter was able to locate products in 7 categories, ranging from £2.99 to £316.35.

About "formal methods in"

  • In total, Pricehunter was able to locate 5 offers, from providers such as Amazon-marketplace.co.uk, amazon.co.uk, Whsmith.co.uk and fruugo.co.uk.
  • After having chosen your supplier you may also choose the delivery company. 13 delivery companies are available Generic Sports, Springer Verlag, Cambridge University Press and Wiley-VCH being the most popular.
  • The most offers (89) were found in the price range from £19.00 to £19.99.
  • Customers who looked for this item also found interesting.
  • With our extensive colour palette you can select your favourite colour for your article. Of the available 92 shades Blue is the most frequently chosen.
Don't forget your voucher code: