• Books
  • Tag: software verification

Books — software verification

EN
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Programming languages
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