Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it e
Advances in Ophthalmology and Optometry reviews the most current practices in both ophthalmology and optometry. A distinguished editorial board, headed by Dr. Myron Yanoff, identifies key areas of maj
Advances in Cosmetic Surgery includes the latest advances and breakthroughs in the field of cosmetic surgery from a multi-specialty perspective. Members of our distinguished editorial board, Gregory H
Each year, Advances in Anesthesia brings you up-to-date with the latest knowledge from the preeminent practitioners in your field. A distinguished editorial board identifies current areas of major pro
Advances in Ophthalmology and Optometry reviews the most current practices in both ophthalmomlogy and optometry. A distinguished editorial board, headed by Dr. Myron Yanoff, identifies key areas of ma
Each year, Advances in Anesthesia brings you up-to-date with the latest knowledge from the preeminent practitioners in your field. A distinguished editorial board identifies current areas of major pro
