formal methods in

(515 offers*)
Filter
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
£42.99
Compare 8 prices
Amazon-marketplace.co.uk
Free Delivery
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.14
Compare 8 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V
£39.99
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods: An Appetizer
Formal Methods: An Appetizer
£43.02
Compare 7 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)
Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)
£46.99
Compare 9 prices
Amazon-marketplace.co.uk
Free Delivery
Concise Guide to Formal Methods – Theory, Fundamentals & Industry Applications
Concise Guide to Formal Methods – Theory, Fundamentals & Industry Applications
£52.36
Compare 8 prices
amazon.co.uk
Free Delivery
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
£39.99
Compare 2 prices
amazon.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 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
£121.46
Compare 8 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods, Informally : How to Write Programs That Work
Formal Methods, Informally : How to Write Programs That Work
£36.28
Compare 9 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.43
Compare 8 prices
Amazon-marketplace.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 9 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... ... Portugal, March 18-20, 2002, Revised Papers
Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... ... Portugal, March 18-20, 2002, Revised Papers
£39.99
Compare 2 prices
amazon.co.uk
Free Delivery
The Way of Z: Practical Programming with Formal Methods
The Way of Z: Practical Programming with Formal Methods
£48.26
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods for Software Engineering – Languages, Methods, Application Domains – Springer Verlag
Formal Methods for Software Engineering – Languages, Methods, Application Domains – Springer Verlag
£32.69
Compare 11 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods in Manufacturing (Industrial Information Technology)
Formal Methods in Manufacturing (Industrial Information Technology)
£74.99
Compare 8 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
Traditional Methods of Pattern Designing: An Introduction Tothe Study of Formal Ornament
Traditional Methods of Pattern Designing: An Introduction Tothe Study of Formal Ornament
£30.95
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 and Informal Methods in Philosophy (Polish Analytical Philosophy, 113) - Brill
Formal and Informal Methods in Philosophy (Polish Analytical Philosophy, 113) - Brill
£135.00
Compare 6 prices
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 9 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods in Software Engineering
Formal Methods in Software Engineering
£22.42
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99
£39.99
Compare 2 prices
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
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Managing and Processing Ontology Alignments
Formal Methods for Managing and Processing Ontology Alignments
£55.07
Compare 5 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)
£37.61
Compare 8 prices
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
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings: 16622 (Lecture Notes in Computer Science, 16622)
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings: 16622 (Lecture Notes in Computer Science, 16622)
£64.99
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
Formal Methods in Software Engineering
Formal Methods in Software Engineering
£25.69
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: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)
£34.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
Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops: ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised ... (Lecture Notes in Computer Science, 16422)
Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops: ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised ... (Lecture Notes in Computer Science, 16422)
£84.99
Go to shop
amazon.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
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings: 16566 (Lecture Notes in Computer Science, 16566)
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings: 16566 (Lecture Notes in Computer Science, 16566)
£44.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
Formal Methods for Industrial Critical Systems: 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings (Lecture Notes in Computer Science, 16967)
Formal Methods for Industrial Critical Systems: 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings (Lecture Notes in Computer Science, 16967)
£59.99
Go to shop
amazon.co.uk
Free Delivery
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
£61.74
Go to shop
Whsmith.co.uk
Free Delivery
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I: 16556 (Lecture Notes in Computer Science, 16556)
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I: 16556 (Lecture Notes in Computer Science, 16556)
£34.99
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 515 offers for your search.

Pricehunter was able to locate products in 7 categories, ranging from £2.29 to £299.70.

About "formal methods in"

  • In total, Pricehunter was able to locate 6 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. 10 delivery companies are available Springer Verlag, Cambridge University Press, Generic Sports and Taylor & Francis Group being the most popular.
  • The most offers (75) 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 77 shades Beige is the most frequently chosen.
Don't forget your voucher code: