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
AI Summary
Ksh 25,000.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
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.
Discover books you might love based on this title.
More in This Genre
Molecular Imprinting
Ksh 31,150.00
Metal Oxide Nanocomposite Thin Films for Optoelectronic Device Applications
Ksh 32,400.00
Plastics and Sustainability Grey is the New Green
Ksh 18,000.00
Structural Dynamic Systems Computational Techniques and Optimization
Ksh 30,600.00
Flow Batteries, 3 Volume Set
Ksh 63,000.00
Smart Inventory Solutions
Ksh 10,800.00
