.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Verified Software - Theories, Tools, Experiments
. Ed(S): Meyer, Bertrand; Woodcock, James
€ 130.48
FREE Delivery in Ireland
Description for Verified Software - Theories, Tools, Experiments
Paperback. Editor(s): Meyer, Bertrand; Woodcock, James. Series: Lecture Notes in Computer Science. Num Pages: 546 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 866.
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances ... Read more
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
546
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
546
Place of Publication
Berlin, Germany
ISBN
9783540691471
SKU
V9783540691471
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verified Software - Theories, Tools, Experiments