formal methods in (396 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
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)
£173.73
Compare 6 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
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 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)
£72.62
Compare 8 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
An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
£87.47
Compare 4 prices
Amazon-marketplace.co.uk
Free Delivery
Z 2e: An Introduction to Formal Methods
Z 2e: An Introduction to Formal Methods
£49.38
Compare 9 prices
Amazon-marketplace.co.uk
Delivery from £2.80
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)
£10.94
Compare 2 prices
amazon.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 4 prices
amazon.co.uk
Free Delivery
Formal Methods Theory and Applications(Chinese Edition)
Formal Methods Theory and Applications(Chinese Edition)
£141.67
Go to shop
Amazon-marketplace.co.uk
Free Delivery
Formal Methods for Industrial Data Analysis Engineering Based on CRISP-DM(Chinese Edition)
Formal Methods for Industrial Data Analysis Engineering Based on CRISP-DM(Chinese Edition)
£162.75
Go to shop
Amazon-marketplace.co.uk
Free Delivery
[(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
HOW an Introduction to the Methods of Discipleship: Small Group, Mentoring, Informal, Formal, and Lifestyle (The Seven Questions of Discipleship)
HOW an Introduction to the Methods of Discipleship: Small Group, Mentoring, Informal, Formal, and Lifestyle (The Seven Questions of Discipleship)
£7.57
Go to shop
amazon.co.uk
Delivery from £2.99
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science, 15403)
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science, 15403)
£42.57
Go to shop
amazon.co.uk
Free Delivery
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings: 15234 (Lecture Notes in Computer Science, 15234)
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings: 15234 (Lecture Notes in Computer Science, 15234)
£109.99
Go to shop
amazon.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)
£57.51
Go to shop
amazon.co.uk
Free Delivery
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
£59.99
Go to shop
amazon.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)
£62.00
Go to shop
amazon.co.uk
Free Delivery
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I: 14780 (Lecture Notes in Computer Science, 14780)
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I: 14780 (Lecture Notes in Computer Science, 14780)
£59.99
Go to shop
amazon.co.uk
Free Delivery
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement: 14900 (Lecture Notes in Computer Science, 14900)
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement: 14900 (Lecture Notes in Computer Science, 14900)
£59.99
Go to shop
amazon.co.uk
Free Delivery
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II: 14781 (Lecture Notes in Computer Science, 14781)
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II: 14781 (Lecture Notes in Computer Science, 14781)
£59.99
Go to shop
amazon.co.uk
Free Delivery
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReactTS 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: ReactTS 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
NASA Formal Methods: 17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11-13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)
NASA Formal Methods: 17th International Symposium, NFM 2025, Hampton Roads, 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 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
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... (Lecture Notes in Computer Science, 15223)
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... (Lecture Notes in Computer Science, 15223)
£44.99
Go to shop
amazon.co.uk
Free Delivery
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings: 15280 (Lecture Notes in Computer Science, 15280)
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings: 15280 (Lecture Notes in Computer Science, 15280)
£59.99
Go to shop
amazon.co.uk
Free Delivery
Formal Foundations: Exploring Formal Methods & Logic in Software
Formal Foundations: Exploring Formal Methods & Logic in Software
£9.68
Go to shop
amazon.co.uk
Delivery from £2.99
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 Control of Nonlinear Systems
Formal Methods for Control of Nonlinear Systems
£87.39
Go to shop
Whsmith.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
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.11
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)
£27.95
Compare 2 prices
Amazon-marketplace.co.uk
Delivery from £2.99
JIM GREEN Shoellie Men’s Chukka Semi Formal Lace-Up Shoe with Full Grain Leather, Houston Brown, 9.5
JIM GREEN Shoellie Men’s Chukka Semi Formal Lace-Up Shoe with Full Grain Leather, Houston Brown, 9.5
£124.78
Go to shop
Amazon-marketplace.co.uk
Delivery from £16.17
MENS BELT DOUBLE STITCHED 100% ITALIAN SINGLE SKIN HIDE LEATHER 40MM FORMAL CASUAL JEANS TROUSERS CHINOS SHORTS (HONEY TAN, SMALL-30-32-INCHES)
MENS BELT DOUBLE STITCHED 100% ITALIAN SINGLE SKIN HIDE LEATHER 40MM FORMAL CASUAL JEANS TROUSERS CHINOS SHORTS (HONEY TAN, SMALL-30-32-INCHES)
£22.99
Go to shop
Amazon-marketplace.co.uk
Delivery from £1.99
MENS ITALIAN SUEDE BELT 35MM FORMAL CASUAL (SKY BLUE, MEDIUM-33-35-INCHES)
MENS ITALIAN SUEDE BELT 35MM FORMAL CASUAL (SKY BLUE, MEDIUM-33-35-INCHES)
£19.99
Go to shop
Amazon-marketplace.co.uk
Delivery from £1.99
  • 1
  • 2
  • 3
  • 4
  • 5

Informations about "formal methods in"

Look at 396 bids for your search.

Pricehunter was able to locate article in 7 categories, ranging from £3.89 to £306.36.

About "formal methods in"

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