formal methods in (428 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 10 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
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 10 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
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
Z 2e: An Introduction to Formal Methods
Z 2e: An Introduction to Formal Methods
£50.45
Compare 9 prices
amazon.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 9 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 Models of Domestic Politics (Analytical Methods for Social Research)
Formal Models of Domestic Politics (Analytical Methods for Social Research)
£28.83
Compare 11 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
Parallel, Concurrent, and Distributed Haskell with Lazy Evaluation and Infinite Data Structures: 4 (Mastering Haskell: From Fundamentals to Formal Methods)
Parallel, Concurrent, and Distributed Haskell with Lazy Evaluation and Infinite Data Structures: 4 (Mastering Haskell: From Fundamentals to Formal Methods)
£17.67
Go to shop
amazon.co.uk
Free Delivery
Parallel, Concurrent, and Distributed Haskell with Lazy Evaluation and Infinite Data Structures (Mastering Haskell: From Fundamentals to Formal Methods)
Parallel, Concurrent, and Distributed Haskell with Lazy Evaluation and Infinite Data Structures (Mastering Haskell: From Fundamentals to Formal Methods)
£22.08
Go to shop
amazon.co.uk
Free Delivery
Advanced Functional Programming in Haskell: Monads, Applicatives, GADTs, Dependent Types, and Type Families with Abstract Algebra (Mastering Haskell: From Fundamentals to Formal Methods)
Advanced Functional Programming in Haskell: Monads, Applicatives, GADTs, Dependent Types, and Type Families with Abstract Algebra (Mastering Haskell: From Fundamentals to Formal Methods)
£22.13
Go to shop
amazon.co.uk
Free Delivery
Haskell Fundamentals: Syntax, Types, Recursion, and Lambda Calculus with Basic Mathematical Logic: 1 (Mastering Haskell: From Fundamentals to Formal Methods)
Haskell Fundamentals: Syntax, Types, Recursion, and Lambda Calculus with Basic Mathematical Logic: 1 (Mastering Haskell: From Fundamentals to Formal Methods)
£17.70
Go to shop
amazon.co.uk
Free Delivery
ESASAM Painting Art Abstract Print Stylish Men'S Necktie - Premium Polyester Fiber Fabric, Perfect For Business And Formal Occasions
ESASAM Painting Art Abstract Print Stylish Men'S Necktie - Premium Polyester Fiber Fabric, Perfect For Business And Formal Occasions
£8.99
Compare 2 prices
Amazon-marketplace.co.uk
Delivery from £3.83
Blue Rhinestone Diamante Belt Applique Sew Iron on Crystal Bridal Wedding Dress Sash Jeweled Patch for Bride Bridesmaid Gown Women Prom Formal Belt Clothes Embellishments
Blue Rhinestone Diamante Belt Applique Sew Iron on Crystal Bridal Wedding Dress Sash Jeweled Patch for Bride Bridesmaid Gown Women Prom Formal Belt Clothes Embellishments
£19.99
Compare 2 prices
Amazon-marketplace.co.uk
Free Delivery
  • 1
  • 2
  • 3
  • 4
  • 5

Informations about "formal methods in"

Look at 428 bids for your search.

Pricehunter was able to locate article in 7 categories, ranging from £3.21 to £295.93.

About "formal methods in"

  • In total, Pricehunter was able to locate 3 offers, from e-shops such as Amazon-marketplace.co.uk, amazon.co.uk and fruugo.co.uk.
  • After having chosen your companies you may also choose the delivery company. 5 delivery brands are available Springer Verlag, Cambridge University Press, Wiley-VCH and Ounona being the most popular.
  • The most bids (87) 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 69 shades Beige is the most frequently chosen.
Don't forget your voucher code: