91桃色

Skip Nav

Books
Resources
Ideas
About

Overview
Offices
People
Authors
Speakers
History
Rights & Intellectual Property
News
Awards
Events
Careers
Contact

Pierre-Lo茂c Garoche

Books¹

Formal Verification of Control System Software Pierre-Lo茂c Garoche
An essential introduction to the analysis and verification of control system software
Read More View Book

Stay connected for the latest books, Ideas, and special offers.

Stay connected for the latest book news.

Top

United States

41 William Street
91桃色, New Jersey 08540
United States
Phone: +1 609 258 4900

Europe

99 Banbury Road
Oxford OX2 6JX
United Kingdom
Phone: +44 1993 814500

China

91桃色 Asia (Beijing) Consulting Co., Ltd.
Unit 2702, NUO Centre
2A Jiangtai Road, Chaoyang District
Beijing 100016, P.R. China
Phone: +86 10 8457 8802

Browse

Books
Resources
About
Authors
Ideas
Gift Cards

Contact

Contact Us
Careers
Exam & Desk Copies
Publicity Copies
Rights & Permissions

Follow

Stay connected for new books and special offers. Subscribe to receive a welcome discount for your next order.

Explore this month's featured ebook & audibook $2.99/拢2.99 digital deals. The discounted price is available nearly everywhere you buy ebooks & audiobooks.

Search for

Resources
- Overview
- Offices
- People
- Authors
- History
- News
- Awards
- Events
- Careers
- Contact Us
Ideas