• Books
  • Tag: software verification

Books — software verification

RU
Programming Languages: A Study Guide. Third Generation Standard

Programming Languages: A Study Guide. Third Generation Standard

A

Тюгашев А.

Programming languages
EN
Introduction to Ada

Introduction to Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Programming languages
RU
Introduction to the Ada Programming Language

Introduction to the Ada Programming Language

A

Raphaël Amiard, Gustavo A. Hoffmann

Programming languages
EN
Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

A

Dana Richards, Henry Hamburger

Algorithms and theory