For example,Бобцов

IMPLICATION AND EQUIVALENCE AS A BASIS FOR VERIFICATION

Annotation

The article deals with implication and equivalence functions used for verification of logical circuits and software products in the course of their design and implementation.

Читать текст статьи

Keywords

Articles in current issue