Maurizio Taiuti

Formal Verification of Control System Software

Description: No description available.

Price: 30.4 GBP

Location: Edinburgh

End Time: 2024-09-24T16:17:32.000Z

Shipping Cost: 9.19 GBP

Product Images

Formal Verification of Control System Software

Item Specifics

Returns Accepted: ReturnsNotAccepted

Item Height: 235 mm

Item Width: 155 mm

Series: Princeton Series in Applied Mathematics

Author: Pierre-Loic Garoche

Publication Name: Formal Verification of Control System Software

Format: Hardcover

Language: English

Publisher: Princeton University Press

Subject: Computer Science, Mathematics

Publication Year: 2019

Type: Textbook

Number of Pages: 232 Pages

Recommended

Leveraging Applications Of Formal Methods, Verification And Validation  Spe...
Leveraging Applications Of Formal Methods, Verification And Validation Spe...

$59.36

View Details
Leveraging Applications Of Formal Methods, Verification And Validation: Eng...
Leveraging Applications Of Formal Methods, Verification And Validation: Eng...

$59.58

View Details
Verification Of Reactive Systems: Formal Methods And Algorithms
Verification Of Reactive Systems: Formal Methods And Algorithms

$59.58

View Details
Leveraging Applications of Formal Methods, Verification and Validation. Adaptati
Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

$93.52

View Details
Schnieber - Polynomial Formal Verification of Approximate Functions - - S9000z
Schnieber - Polynomial Formal Verification of Approximate Functions - - S9000z

$131.58

View Details
Formal Methods of Program Verification and Specification (Prentice-Hall S - GOOD
Formal Methods of Program Verification and Specification (Prentice-Hall S - GOOD

$16.01

View Details
Formal Verification of Object-Oriented Software: International Conference, FoVeO
Formal Verification of Object-Oriented Software: International Conference, FoVeO

$67.91

View Details
Leveraging Applications of Formal Methods, Verification and Validation  Dis...
Leveraging Applications of Formal Methods, Verification and Validation Dis...

$58.05

View Details
Formal Verification of Circuits - 9781441949851
Formal Verification of Circuits - 9781441949851

$134.16

View Details
FORMAL VERIFICATION: AN ESSENTIAL TOOLKIT FOR MODERN VLSI By Erik Seligman & Tom
FORMAL VERIFICATION: AN ESSENTIAL TOOLKIT FOR MODERN VLSI By Erik Seligman & Tom

$157.75

View Details