Industrial Use of Formal Methods : Formal Verification

Industrial Use of Formal Methods : Formal Verification

Industrial Use of Formal Methods : Formal Verification

Barcode: 09781118587904
Brand: Wiley
Best Priced
sold by Hive Books
Hive Books
£118.11
Visit Store
Hive Books
Hive Books
£118.11
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Wiley

Electrical Drives : Principles, Planning, Applications, Solutions
Electrical Drives : Principles, Planning, Applications, Solutions
from £36.51
Customer Genius
Customer Genius
from £9.74
Customer Genius
Customer Genius
from £9.74
The Naked Coach : Business Coaching Made Simple
The Naked Coach : Business Coaching Made Simple
from £8.44
Marketing Genius
Marketing Genius
from £9.74
Business Coaching : Achieving Practical Results Through Effective Engagement
Business Coaching : Achieving Practical Results Through Effective Engagement
from £9.74
The Technical Avalanche Protection Handbook
The Technical Avalanche Protection Handbook
from £80.75
Mechanised Shield Tunnelling
Mechanised Shield Tunnelling
from £97.75
Hardrock Tunnel Boring Machines
Hardrock Tunnel Boring Machines
from £85.00
The Technical Avalanche Protection Handbook
The Technical Avalanche Protection Handbook
from £68.00
Hardrock Tunnel Boring Machines
Hardrock Tunnel Boring Machines
from £85.00
Ultra-High Performance Concrete UHPC : Fundamentals, Design, Examples
Ultra-High Performance Concrete UHPC : Fundamentals, Design, Examples
from £33.96
Ultra-High Performance Concrete UHPC : Fundamentals, Design, Examples
Ultra-High Performance Concrete UHPC : Fundamentals, Design, Examples
from £33.96
Alloy Physics : A Comprehensive Reference
Alloy Physics : A Comprehensive Reference
from £327.21
Near-Infrared Spectroscopy : Principles, Instruments, Applications
Near-Infrared Spectroscopy : Principles, Instruments, Applications
from £140.21
Geometric Mechanics
Geometric Mechanics
from £75.16
Organic Nanostructures
Organic Nanostructures
from £145.31
Quantum Optics
Quantum Optics
from £164.01
Optimization Aided Design : Reinforced Concrete
Optimization Aided Design : Reinforced Concrete
from £51.00
Formulation Technology : Emulsions, Suspensions, Solid Forms
Formulation Technology : Emulsions, Suspensions, Solid Forms
from £154.66

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Industrial Use of Formal Methods : Formal Verification
Industrial Use of Formal Methods : Formal Verification
from £118.11
Symbolic Simulation Methods for Industrial Formal Verification
Symbolic Simulation Methods for Industrial Formal Verification
from £76.08
Verification of Reactive Systems : Formal Methods and Algorithms
Verification of Reactive Systems : Formal Methods and Algorithms
from £38.24
Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification
from £110.08
Formal Methods : Industrial Use from Model to the Code
Formal Methods : Industrial Use from Model to the Code
from £118.11
Formal Methods : Industrial Use from Model to the Code
Formal Methods : Industrial Use from Model to the Code
from £118.11
Formal Verification of Circuits
Formal Verification of Circuits
from £110.08
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verificat
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verificat
from £38.24
Digital System Verification : A Combined Formal Methods and Simulation Framework
Digital System Verification : A Combined Formal Methods and Simulation Framework
from £21.24
Formal Verification of Control System Software
Formal Verification of Control System Software
from £41.25
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
from £110.08
High-Level Verification : Methods and Tools for Verification of System-Level Designs
High-Level Verification : Methods and Tools for Verification of System-Level Designs
from £76.08
Symbolic Algebraic Methods and Verification Methods
Symbolic Algebraic Methods and Verification Methods
from £38.24
Formal Methods for Industrial Critical Systems : A Survey of Applications
Formal Methods for Industrial Critical Systems : A Survey of Applications
from £69.66
Formal Methods for Industrial Critical Systems : A Survey of Applications
Formal Methods for Industrial Critical Systems : A Survey of Applications
from £69.66
Advanced Formal Verification
Advanced Formal Verification
from £76.08
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 2731, 2024, Proceedings, Part
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 2731, 2024, Proceedings, Part
from £64.99
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
from £141.06
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
from £141.06
Handbook of Formal Analysis and Verification in Cryptography
Handbook of Formal Analysis and Verification in Cryptography
from £144.00