Formal Verification of Control System Software

Name: Formal Verification of Control System Software
SKU: 9780691181301
Price: 25.98 USD
Availability: InStock

Pierre-Loïc Garoche

$55.00

$25.98

Adding to cart… The item has been added

Author

Pierre-Loïc Garoche

Publish Date

2019-05-14

Book Type

Hardcover

Number of Pages

232

Publisher Name

ISBN-10

0691181306

ISBN-13

9780691181301

citemno

227664

SKU

9780691181301

Practical Formal Software Engineering

$116.00

$45.98

$116.00

$45.98

$116.00

$45.98

add to cart choose option

On Formally Undecidable Propositions of Principia …

$11.95

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof,...

$11.95

add to cart choose option

Control System Dynamics

$137.00

$44.98

$137.00

$44.98

$137.00

$44.98

add to cart choose option

Digital Control Systems

$69.95

$19.98

$69.95

$19.98

$69.95

$19.98

add to cart choose option

Practical Design Verification

$155.00

$69.98

$155.00

$69.98

$155.00

$69.98

add to cart choose option

Formal Verification of Control System Software

Pierre-Loïc Garoche

You Might Also Like

Shop by Category

Recommended

About Us

More Information

Formal Verification of Control System Software

Pierre-Loïc Garoche

You Might Also Like

Practical Formal Software Engineering

On Formally Undecidable Propositions of Principia …

Control System Dynamics

Digital Control Systems

Practical Design Verification

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare