COQC

См. также в других словарях:

• Submarine Command Course — The Submarine Command Course (SMCC), previously known as the Commanding Officers Qualifying Course (COQC), and informally known as the Perisher because of its low success rate, is a training course for naval officers preparing to take command of… …   Wikipedia

• Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия