Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems by Cyrille Artho

Computers

What Formal Techniques for Safety-Critical Systems by Cyrille Artho is worth on the used-book market.

Used
New / Sealed
Live on eBay now
See current eBay listings

Live on eBay right now

JunkPal AI· resale insightanalyzing sold comps…

Price data verified against · 1

Item details

UPC / EAN
9783319175812
Brand
Cyrille Artho
Author
Cyrille Artho
Published
2014
Publisher
Springer International Publishing AG
Pages
268
ISBN
9783319175812
Editions
8

Formal Techniques for Safety-Critical Systems resale value

Formal Techniques for Safety-Critical Systems by Cyrille Artho (2014). Across 8 editions. Used-book value depends heavily on edition (first printing vs. reprint), condition, dust jacket, and whether it's signed. First editions and out-of-print titles command the biggest premiums.

What drives the price

First editions/first printings, intact dust jackets, signatures, and unmarked pages are the top value drivers. Book-club editions and later reprints are worth far less.

Frequently asked questions

Is this 2014 edition still relevant for modern safety-critical systems?
As a specialized text from 2014, it provides foundational knowledge on formal techniques for safety-critical systems.
What is the ISBN for this book?
The ISBN for this specific edition is 9783319175812.
How many pages does the book contain?
The book, authored by Cyrille Artho, contains 268 pages.

More resale values

View all