منابع مشابه
An Overview of Candiduria
Candida microorganisms frequently exist as saprophytes on the external genitalia or urethra, however, yeast in measurable quantities are found in <1% of clean voided urine specimens. The overall frequency of Candida infections in hospitals has increased by 200% to 300% in the last decade, such that in a general hospital 5% of urine cultures may yield Candida species, and in tertiary-care center...
متن کاملAn Overview of Novel Anticoagulants
Arterial and venous thromboembolism is one of the most common causes of death worldwide. For almost seventy years, heparin, low molecular weight heparin, and vitamin K antagonists have been widely used in the prevention and treatment of thromboembolic disorders. However, many of the limitations of these traditional anticoagulants have led to the search for and attempts to introduce better drug ...
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor C + +
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAN OVERVIEW OF LARCH / C + + : BEHAVIORAL SPECIFICATIONSFOR C + + MODULESGary
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speciication languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80786-2