search for books and compare prices
Formal Techniques for Safety-critical Systems: Third International Workshop, Ftscs 2014, Selected Papers
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Hardcover
Book cover for 9780471920670
 
With Cyrille Artho (other contributor), Denis Bellamy | from John Wiley & Son Ltd (May 1, 1995); titled "Ageing: A Biomedical Perspective"
9780471920670 | details & prices | 410 pages | 6.50 × 9.50 × 1.25 in. | 1.75 lbs | List price $200.00
This edition also contains Ageing: A Biomedical Perspective
About: This definitive reference describes the evolutionary basis of ageing and the recent connections between biochemical damage and pathologies--the central theme being DNA errors, their detection and repair.
Paperback
Book cover for 9783319175805
 
With Cyrille Artho (other contributor) | Revised edition from Springer-Verlag New York Inc (April 23, 2015)
9783319175805 | details & prices | 6.00 × 9.00 × 0.75 in. | 0.85 lbs | List price $84.00
About: This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014.