.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
. Ed(S): George, Chris; Miao, Huaikou
€ 137.70
FREE Delivery in Ireland
Description for Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
paperback. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Editor(s): George, Chris; Miao, Huaikou. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 895.
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi?cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di?erent countries and regions. A total of 43 regular and 16 short papers were accepted. All ... Read more
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi?cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di?erent countries and regions. A total of 43 regular and 16 short papers were accepted. All ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer Germany
Number of pages
648
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
636
Place of Publication
Berlin, Germany
ISBN
9783540000297
SKU
V9783540000297
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings