Skip to content
Menu Button
Scan a barcode
Scan
My Lists
Menu Button
Scan a barcode
Scan
Give the Most Present Gift!
Explore Our Holiday Gift Guides →

Search page

1 - 50 of 460 results for "Formal methods"

Selected

Formal methods
Show Out Of Stock Items

Refine Your Search

Product Types

Genres

Formats

Conditions

Collectibles

Languages

Additional Options

Price Range

Exclude

Fm 2009: Formal Methods: Second World Congress, Eindhoven, The Nethe...
By
Fm 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2 6, 2009, Proceedings (Lecture Notes In Computer Science / Programming And Software Engineering)
$
109.99
Format: Paperback
Condition: New
See All 3 Editions
Formal Methods in Manufacturing
By and
Formal Methods in Manufacturing
$
120.99
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods In Systems Engineering
Formal Methods In Systems Engineering
$
59.87
Format: Paperback
Condition: New
See All 2 Editions
Modern Formal Methods and Applications
Modern Formal Methods and Applications
$
119.00
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods in Computer Science (Textbooks in Mathematics)
By
Formal Methods in Computer Science (Textbooks in Mathematics)
$
125.99
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods for the Analysis of Biomedical Ontologies
By , ,
Formal Methods for the Analysis of Biomedical Ontologies
$
69.99
Format: Hardcover
Condition: New
See All 2 Editions
Formal Demography (The Springer Series on Demographic Methods and Po...
By
Formal Demography (The Springer Series on Demographic Methods and Population Analysis)
$
169.99
Format: Paperback
Condition: New
See All 2 Editions
Agile-Sofl: Agile Formal Engineering Method
By
Agile-Sofl: Agile Formal Engineering Method
$
199.99
Format: Hardcover
Condition: New
See 1 Edition
Verification of Reactive Systems: Formal Methods and Algorithms (Tex...
By
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
$
60.42
Format: Paperback
Condition: New
See All 3 Editions
Symbolic Simulation Methods for Industrial Formal Verification
By
Symbolic Simulation Methods for Industrial Formal Verification
$
34.59
Save $75.40! List Price: $109.99
Format: Hardcover
Condition: Very Good
See All 3 Editions
Formal Methods for Software Engineering: Languages, Methods, Applica...
By , ,
Formal Methods for Software Engineering: Languages, Methods, Application Domains
$
64.99
Format: Paperback
Condition: New
See All 2 Editions
Integrated Formal Methods
By
Integrated Formal Methods
$
60.74
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods in the Methodology of Empirical Sciences (Synthese Li...
Formal Methods in the Methodology of Empirical Sciences (Synthese Library)
$
169.99
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Formal Specification Level: Concepts, Methods, and Algorithms
By and
Formal Specification Level: Concepts, Methods, and Algorithms
$
109.99
Format: Hardcover
Condition: New
See All 2 Editions
Synchronous Equivalence: Formal Methods for Embedded Systems
By , , , et al.
Synchronous Equivalence: Formal Methods for Embedded Systems
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
The Way of Z: Practical Programming with Formal Methods
By
The Way of Z: Practical Programming with Formal Methods
$
8.69
Save $70.31! List Price: $79.00
Format: Paperback
Condition: Good
See All 2 Editions
Formal Methods for Discrete-Time Dynamical Systems (Studies in Syste...
By , ,
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
$
199.99
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods in Software Engineering
By
Formal Methods in Software Engineering
$
29.51
Save $0.75! List Price: $30.26
Format: Paperback
Condition: New
See 1 Edition
Z: An Introduction to Formal Methods, 2nd Edition
By
Z: An Introduction to Formal Methods, 2nd Edition
$
11.49
Save $133.46! List Price: $144.95
Format: Paperback
Condition: Good
See 1 Edition
Formal Methods and Object Technology (Formal Approaches to Computing...
By
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology)
$
109.99
Format: Paperback
Condition: New
See 1 Edition
Formal Methods: An Introduction to Symbolic Logic and to the Study o...
By
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
$
109.99
Format: Hardcover
Condition: New
See All 4 Editions
Formal Methods in Architecture: Proceedings of the 5th International...
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
$
169.99
Format: Paperback
Condition: New
See All 2 Editions
FM 2005: Formal Methods: International Symposium of Formal Methods E...
By
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)
$
60.42
Format: Paperback
Condition: New
See 1 Edition
Formal Methods for Industrial Critical Systems: A Survey of Applicat...
By and
Formal Methods for Industrial Critical Systems: A Survey of Applications
$
97.67
Save $11.28! List Price: $108.95
Format: Paperback
Condition: New
See All 2 Editions
FME 2003: Formal Methods: International Symposium of Formal Methods ...
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science)
$
109.99
Format: Paperback
Condition: New
See 1 Edition
Formal Hardware Verification: Methods and Systems in Comparison (Lec...
By
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science)
$
12.09
Save $42.90! List Price: $54.99
Format: Paperback
Condition: Very Good*
See All 2 Editions
Formal Methods for Managing and Processing Ontology Alignments
By
Formal Methods for Managing and Processing Ontology Alignments
$
140.99
Format: Hardcover
Condition: New
See All 2 Editions
Foundations of Real-Time Computing:: Formal Specifications and Metho...
Foundations of Real-Time Computing:: Formal Specifications and Methods
$
169.99
Format: Paperback
Condition: New
See All 2 Editions
Practical Formal Methods for Hardware Design
Practical Formal Methods for Hardware Design
$
59.87
Format: Paperback
Condition: New
See 1 Edition
Formal Methods for Components and Objects: 5th International Symposi...
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science)
$
60.10
Format: Paperback
Condition: New
See 1 Edition
Formal Methods: An Introduction to Symbolic Logic
By
Formal Methods: An Introduction to Symbolic Logic
$
20.39
Save $24.61! List Price: $45.00
Format: Hardcover
Condition: Acceptable
See 1 Edition
Formal and Informal Methods in Philosophy
By
Formal and Informal Methods in Philosophy
$
235.48
Format: Hardcover
Condition: New
See 1 Edition
Formal Methods for Components and Objects: 8th Symposium on FormalMe...
By , ,
Formal Methods for Components and Objects: 8th Symposium on FormalMethods for Components and Objects, held in Eindhoven, The Netherlands, inNovember 2009
$
60.10
Format: Paperback
Condition: New
See 1 Edition
Industrial-Strength Formal Methods in Practice (Formal Approaches to...
By and
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
$
169.99
Format: Paperback
Condition: New
See 1 Edition
Formal Methods in Human-Computer Interaction (Formal Approaches to C...
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology)
$
60.10
Format: Paperback
Condition: New
See 1 Edition
Formal Methods for Control of Nonlinear Systems
By and
Formal Methods for Control of Nonlinear Systems
$
140.99
Format: Hardcover
Condition: New
See 1 Edition
FME 2001: Formal Methods for Increasing Software Productivity: Inter...
By
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings (Lecture Notes in Computer Science)
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
FME '97 Industrial Applications and Strengthened Foundations of Form...
By
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science)
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea...
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
$
49.67
Format: Paperback
Condition: New
See 1 Edition
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea...
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science, 16566)
$
59.87
Format: Paperback
Condition: New
See 1 Edition
Leveraging Applications of Formal Methods, Verification and Validati...
Leveraging Applications of Formal Methods, Verification and Validation
$
79.99
Format: Paperback
Condition: New
See 1 Edition
Formal Methods for Embedded Distributed Systems: How to master the c...
Formal Methods for Embedded Distributed Systems: How to master the complexity (The Kluwer International Series in Engineering & Computer Science)
$
109.99
Format: Hardcover
Condition: New
See All 4 Editions
Formal Methods For Computational Systems Biology: 8th International ...
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering
$
60.42
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods in Architecture: Proceedings of the 6th International...
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
$
249.99
Format: Hardcover
Condition: New
See 1 Edition
FM 2011: Formal Methods : 17th International Symposium on Formal Met...
By
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
$
60.42
Format: Paperback
Condition: New
See 1 Edition
Formal Methods for Quantitative Aspects of Programming Languages: 10...
By , , , et al.
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Italy, June 21, 2010, Advanced Lectures
$
59.87
Format: Paperback
Condition: New
See 1 Edition
FM 2008: Formal Methods: 15th International Symposium on Formal Meth...
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 (Lecture Notes in Computer Science)
$
60.10
Format: Paperback
Condition: New
See 1 Edition
Formal Methods for Distributed Processing
Formal Methods for Distributed Processing
$
66.00
Format: Paperback
Condition: New
See All 2 Editions
Formal Methods for Software Architectures: Third International Schoo...
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Ita
$
59.87
Format: Paperback
Condition: New
See 1 Edition
of 10
Issues with your search? so we can make it easier for you to find products.

If you have order questions or need additional assistance, please visit Help & Support.

Trustpilot

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Follow Us

Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured