• Books
  • Tag: formal methods

Books — formal methods

EN
Principles of Computer Programming: A Mathematical Approach

Principles of Computer Programming: A Mathematical Approach

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Other
EN
Graph and Model Transformation: General Framework and Applications

Graph and Model Transformation: General Framework and Applications

A

Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann

Other
EN
Software Testing: Concepts and Operations

Software Testing: Concepts and Operations

A

Ali Mili, Fairouz Tchier

Software Development
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
Computer System Security Models: A Study Guide

Computer System Security Models: A Study Guide

A

Н. А. Богульская, М. М. Кучеров

Algorithms and theory
RU
Modeling of Parallel Processes. Petri Nets

Modeling of Parallel Processes. Petri Nets

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

Algorithms and theory
RU
Introduction to Programming

Introduction to Programming

A

Александр Степанов, Пол Мак-Джоунс

Algorithms and theory
EN
Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

A

Dana Richards, Henry Hamburger

Algorithms and theory