Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств
1
Logic and specification: extending VDM-SL for advanced formal specification

Logic and specification: extending VDM-SL for advanced formal specification

Год:
1993
Язык:
english
Файл:
PDF, 1.35 MB
0 / 0
english, 1993
2
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Год:
2012
Язык:
english
Файл:
PDF, 4.53 MB
0 / 0
english, 2012
3
Notations for Software Design

Notations for Software Design

Год:
1994
Язык:
english
Файл:
PDF, 8.95 MB
0 / 0
english, 1994
4
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Год:
2012
Язык:
english
Файл:
PDF, 1.53 MB
0 / 0
english, 2012