FME 2003: Formal Methods
FME 2003: Formal Methods

Author: Keijiro Araki

Publisher: Springer Science & Business Media

Published: 2003-08-27

Total Pages: 955

ISBN-13: 3540408282

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Handbook of Engineering Practice of Materials and Corrosion
Handbook of Engineering Practice of Materials and Corrosion

Author: Jung-Chul (Thomas) Eun

Publisher: Springer Nature

Published: 2020-09-04

Total Pages: 885

ISBN-13: 3030364305

DOWNLOAD EBOOK

This handbook is an in-depth guide to the practical aspects of materials and corrosion engineering in the energy and chemical industries. The book covers materials, corrosion, welding, heat treatment, coating, test and inspection, and mechanical design and integrity. A central focus is placed on industrial requirements, including codes, standards, regulations, and specifications that practicing material and corrosion engineers and technicians face in all roles and in all areas of responsibility. The comprehensive resource provides expert guidance on general corrosion mechanisms and recommends materials for the control and prevention of corrosion damage, and offers readers industry-tested best practices, rationales, and case studies.