This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Maude is used in many institutions ...
This timely book provides a comprehensive insight into the challenges facing humanity and Earth in the 21st century. It opens with a discussion on the domination of all of the continents and oceans by a growing human population. This is followed by an appraisal of the extent to which water and food supplies will be able to accommodate this ...
Through modification, the natural cyclodextrins are effective templates for the generation of a range of molecular hosts. This makes it possible to tailor a cyclodextrin host to a particular guest, to meet specific requirements in the host-guest complex, and opens the way to diverse new areas of supramolecular chemistry. Metallocyclodextrins, ...
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
