Formal Methods : Industrial Use from Model to the Code
Book Details
Format
Hardback or Cased Book
ISBN-10
184821362X
ISBN-13
9781848213623
Publisher
ISTE Ltd and John Wiley & Sons Inc
Imprint
ISTE Ltd and John Wiley & Sons Inc
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 11th, 2012
Print length
384 Pages
Weight
704 grams
Dimensions
16.40 x 24.10 x 2.70 cms
Product Classification:
Mechanical engineering & materials
Ksh 25,000.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.
Get Formal Methods by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by ISTE Ltd and John Wiley & Sons Inc and it has pages.
