• Books
  • Tag: software verification

Books — software verification

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