Programming languages created in 1984

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические […]

Вики

Верилог

/

Verilog (Верилог) Основы Verilog Verilog — язык описания аппаратных средств, используется для моделирования цифровых систем.  Verilog является расширением языка программирования

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические

Вики

Общий Лисп

/

Обычная шепелявость Основы программирования на Common Lisp Common Lisp — это язык программирования, который сочетает в себе функциональное и объектно-ориентированное

Прокрутить вверх