formal methods for (449 offers*)

More about these results
Filter
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
£24.99
Compare 11 prices
amazon.co.uk
Free Delivery
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
£49.95
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Z 2e: An Introduction to Formal Methods
Z 2e: An Introduction to Formal Methods
£54.86
Compare 9 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)
£19.53
Compare 3 prices
amazon.co.uk
Free Delivery
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
£190.35
Compare 5 prices
Amazon-marketplace.co.uk
Free Delivery
An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
£87.47
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)
Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)
£104.00
Compare 11 prices
Amazon-marketplace.co.uk
Free Delivery
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
£40.05
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
£74.63
Compare 7 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital ... Architecture, Engineering and Construction)
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital ... Architecture, Engineering and Construction)
£152.75
Compare 5 prices
Amazon-marketplace.co.uk
Free Delivery
Payment Methods On My Account T Shirts for Men UK Short Sleeves Button Up Henley Tops Regular Fit Linen Letter T-Shirt Trendy Lagenlook Top Yoga Work Blouse Formal Daily Dressy Streetwear Blue
Payment Methods On My Account T Shirts for Men UK Short Sleeves Button Up Henley Tops Regular Fit Linen Letter T-Shirt Trendy Lagenlook Top Yoga Work Blouse Formal Daily Dressy Streetwear Blue
£4.99
Go to shop
Amazon-marketplace.co.uk
Delivery from £1.99
Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
£28.84
Go to shop
Amazon-marketplace.co.uk
Delivery from £7.74
[(Computer-aided Verification : A Special Issue of Formal Methods in System Design on Computer-aided Verification)] [Edited by Robert Kurshan] published on (October, 2012)
[(Computer-aided Verification : A Special Issue of Formal Methods in System Design on Computer-aided Verification)] [Edited by Robert Kurshan] published on (October, 2012)
£295.93
Go to shop
Amazon-marketplace.co.uk
Delivery from £7.98
NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)
NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)
£109.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive (Mastering Haskell: From Fundamentals to Formal Methods)
Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive (Mastering Haskell: From Fundamentals to Formal Methods)
£22.08
Go to shop
amazon.co.uk
Free Delivery
Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive: 6 (Mastering Haskell: From Fundamentals to Formal Methods)
Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive: 6 (Mastering Haskell: From Fundamentals to Formal Methods)
£17.67
Go to shop
amazon.co.uk
Free Delivery
The Laws of Thought; or, Formal Logic; a Brief, Comprehensive Treatise on the Laws and Methods of Correct Thinking
The Laws of Thought; or, Formal Logic; a Brief, Comprehensive Treatise on the Laws and Methods of Correct Thinking
£12.95
Go to shop
amazon.co.uk
Free Delivery
The Laws of Thought; or, Formal Logic; a Brief, Comprehensive Treatise on the Laws and Methods of Correct Thinking
The Laws of Thought; or, Formal Logic; a Brief, Comprehensive Treatise on the Laws and Methods of Correct Thinking
£23.95
Go to shop
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, Informally: How to Write Programs That Work
Formal Methods, Informally: How to Write Programs That Work
£64.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction)
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction)
£249.99
Go to shop
amazon.co.uk
Free Delivery
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised ... (Lecture Notes in Computer Science, 15551)
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised ... (Lecture Notes in Computer Science, 15551)
£64.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings: 16040 (Lecture Notes in Computer Science, 16040)
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings: 16040 (Lecture Notes in Computer Science, 16040)
£49.99
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
£39.99
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)
£49.99
Go to shop
amazon.co.uk
Free Delivery
Advances in Formal Design Methods for CAD
Advances in Formal Design Methods for CAD
£113.91
Go to shop
amazon.co.uk
Free Delivery
Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems
£78.20
Go to shop
Whsmith.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
£101.19
Go to shop
Whsmith.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.68
Go to shop
Whsmith.co.uk
Free Delivery
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
£41.39
Go to shop
Whsmith.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
£34.96
Go to shop
Whsmith.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
£59.79
Go to shop
Whsmith.co.uk
Free Delivery
Formal Models of Domestic Politics (Analytical Methods for Social Research)
Formal Models of Domestic Politics (Analytical Methods for Social Research)
£28.83
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Models of Domestic Politics (Analytical Methods for Social Research)
Formal Models of Domestic Politics (Analytical Methods for Social Research)
£25.00
Compare 6 prices
Amazon-marketplace.co.uk
Delivery from £2.50
Mathematical Haskell: Linear Algebra, Numerical Methods, Graph Theory, and Optimization Algorithms (Mastering Haskell: From Fundamentals to Formal Methods)
Mathematical Haskell: Linear Algebra, Numerical Methods, Graph Theory, and Optimization Algorithms (Mastering Haskell: From Fundamentals to Formal Methods)
£22.08
Go to shop
amazon.co.uk
Free Delivery
Mathematical Haskell: Linear Algebra, Numerical Methods, Graph Theory, and Optimization Algorithms: 5 (Mastering Haskell: From Fundamentals to Formal Methods)
Mathematical Haskell: Linear Algebra, Numerical Methods, Graph Theory, and Optimization Algorithms: 5 (Mastering Haskell: From Fundamentals to Formal Methods)
£17.67
Go to shop
amazon.co.uk
Free Delivery
Discrete Mathematics and Algebraic Structures in Haskell: ADTs, Type Classes, Combinatorics, and Category Theory Basics: 2 (Mastering Haskell: From Fundamentals to Formal Methods)
Discrete Mathematics and Algebraic Structures in Haskell: ADTs, Type Classes, Combinatorics, and Category Theory Basics: 2 (Mastering Haskell: From Fundamentals to Formal Methods)
£17.70
Go to shop
amazon.co.uk
Free Delivery
Haskell Fundamentals: Syntax, Types, Recursion, and Lambda Calculus with Basic Mathematical Logic (Mastering Haskell: From Fundamentals to Formal Methods)
Haskell Fundamentals: Syntax, Types, Recursion, and Lambda Calculus with Basic Mathematical Logic (Mastering Haskell: From Fundamentals to Formal Methods)
£22.13
Go to shop
amazon.co.uk
Free Delivery
Advanced Functional Programming in Haskell: Monads, Applicatives, GADTs, Dependent Types, and Type Families with Abstract Algebra: 3 (Mastering Haskell: From Fundamentals to Formal Methods)
Advanced Functional Programming in Haskell: Monads, Applicatives, GADTs, Dependent Types, and Type Families with Abstract Algebra: 3 (Mastering Haskell: From Fundamentals to Formal Methods)
£17.70
Go to shop
amazon.co.uk
Free Delivery
Discrete Mathematics and Algebraic Structures in Haskell: ADTs, Type Classes, Combinatorics, and Category Theory Basics (Mastering Haskell: From Fundamentals to Formal Methods)
Discrete Mathematics and Algebraic Structures in Haskell: ADTs, Type Classes, Combinatorics, and Category Theory Basics (Mastering Haskell: From Fundamentals to Formal Methods)
£22.13
Go to shop
amazon.co.uk
Free Delivery
  • 1
  • 2
  • 3
  • 4
  • 5

Informations about "formal methods for"

With Pricehunter, you can compare prices of sale online in order to find the bid that most fulfills your requirements "formal methods for".

Based on your search criteria "formal methods for", our price search engine found the lowest prices in 29 categories.

About "formal methods for"

  • Lowest prices found in 4 different supplier, including Amazon-marketplace.co.uk, amazon.co.uk, Whsmith.co.uk and fruugo.co.uk.
  • After having chosen your brands you may also choose the delivery company. 6 delivery producers are available Springer Verlag, Cambridge University Press, Wiley-VCH and Taylor & Francis Group being the most popular.
  • 6 different producers offer the product - Springer Verlag, Cambridge University Press, Wiley-VCH and Taylor & Francis Group, that you were looking for.
  • Furthermore, other clients researched for the following product .
  • With Pricehunter you are also spoilt for choice for colours. You can select your favourite from 69 coloration. The article is most commonly ordered in the colour Beige.
Don't forget your voucher code: