Description
CONSUMER REPORTS BOOKS Complete Drug Reference by Micromedex Inc, United States Pharmacopeia
A one-step resource for consumers and patients provides vital information--including side effects, interactions, and precautions--on thousands of prescription and nonprescription medications.
Preface.- Introduction.- Sets.- Using Sets to Describe a System a Simple Example.- Logic.- The Example Extended.- Schemas.- Example of a Z Specification Documents.- Predicates and Quantifiers.- Relations.- Functions.- A Seat Allocation System.- Sequences.- An Example of Sequences The Aircraft Example Again.- Extending a Specification.- Hints on Creating Specifications.- Example Specifications.- Appendix 1: Collected Notation.- Appendix 2: Solutions to the Exercises.