Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language tha...

Filling the urgent need for a professional book that specifies the applications of nanoelectrochemistry for the monitoring of persistent toxic substances, this monograph clearly describes the design concept, construction strategies and practical applications of PTS sensing interfaces based on nanoelectrochemical methods. The comprehensive and systematic information not only provides readers with the fundamentals, but also inspires them to develop PTS monitoring sensors based on functional ...

The book has four main parts. In the first part the discussion centers on inorganic synthesis reactions, dealing with inorganic synthesis and preparative chemistry under specific conditions: high temperature, low temperature and cryogenic, hydrothermal and solvothermal, high pressure and super-high pressure, photochemical, microwave irradiation and plasma conditions. The second part systematically describes the synthesis, preparation and assembly of six important categories of compounds wi...

For the first time, this comprehensive handbook presents the emerging field of microwave technology for the synthesis of nanoparticles. Divided into three parts--fundamentals, methods, and applications--it covers topics including microwave theory, scale-up, microwave plasma synthesis, characterization, and more. This offers both an important volume for academic researchers, and a resource for those in industry exploring the applications of nanoparticles in semiconductors, electronics, cata...

This comprehensive handbook and ready reference details all the main achievements in the field of perovskite-based and related mixed-oxide materials. The authors discuss, in an unbiased manner, the potentials as well as the challenges related to their use, thus offering new perspectives for research and development on both an academic and industrial level.The first volume begins by summarizing the different synthesis routes from molten salts at high temperatures to colloidal crystal...

Characterization of Nanomaterials: Advances and Key Technologies discusses the latest advancements in the synthesis of various types of nanomaterials. The book's main objective is to provide a comprehensive review regarding the latest advances in synthesis protocols that includes up-to-date data records on the synthesis of all kinds of inorganic nanostructures using various physical and chemical methods. The synthesis of all important nanomaterials, such as carbon nanostructures, Core-shel...

A comprehensive and timely overview of this important and hot topic, with special emphasis placed on environmental applications and the potential for solar light harvesting.Following introductory chapters on environmental photocatalysis, water splitting, and applications in synthetic chemistry, further chapters focus on the synthesis and design of photocatalysts, solar energy conversion, and such environmental aspects as the removal of water pollutants, photocatalytic conversion of ...

This comprehensive three-volume handbook brings together a review of the current state together with the latest developments in sol-gel technology to put forward new ideas.The first volume, dedicated to synthesis and shaping, gives an in-depth overview of the wet-chemical processes that constitute the core of the sol-gel method and presents the various pathways for the successful synthesis of inorganic and hybrid organic-inorganic materials, bio- and bio-inspired materials, powders,...

Cleavage of water to its constituents (i.e., hydrogen and oxygen) for production of hydrogen energy at an industrial scale is one of the "holy grails" of materials science. That can be done by utilizing the renewable energy resource i.e. sunlight and photocatalytic material. The sunlight and water are abundant and free of cost available at this planet. But the development of a stable, efficient and cost-effective photocatalytic material to split water is still a great challenge. To develop...

Carbon-Based Polymer Nanocomposites for Environmental and Energy Applications provides the fundamental physico-chemical characterizations of recently explored carbon-based polymer nanocomposites, such as carbon nanotubes, graphene and its derivatives, nanodiamond, fullerenes and other nano-sized carbon allotropes. The book also covers the applications of carbon-based polymer nanocomposite in the environmental and energy fields. Topics range from the various approaches that have been explor...

Graphene, Carbon Nanotubes, and Nanostructures: Techniques and Applications offers a comprehensive review of groundbreaking research in nanofabrication technology and explores myriad applications that this technology has enabled.The book examines the historical evolution and emerging trends of nanofabrication and supplies an analytical understanding of some of the most important underlying nanofabrication technologies, with an emphasis on graphene, carbon nanotubes (CNTs),...

The ideal addition to the companion volume on fundamentals, methodologies, and applications, this second volume combines fundamental information with an overview of the role of ceramic membranes, electrodes and interfaces in this important, interdisciplinary and rapidly developing field.Written primarily for specialists working in solid state electrochemistry, this first comprehensive handbook on the topic focuses on the most important developments over the last decade, as well as t...