.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof in VDM
J. . Ed(S): Bicarregui
€ 127.30
FREE Delivery in Ireland
Description for Proof in VDM
Paperback. With contributions by numerous experts. Editor(s): Bicarregui, J. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 226 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 348.
Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence can provide developers with ... Read more
Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence can provide developers with ... Read more
Product Details
Format
Paperback
Publication date
1997
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
226
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
226
Place of Publication
Berlin, Germany
ISBN
9783540761860
SKU
V9783540761860
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof in VDM