Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana
1
Logic and specification: extending VDM-SL for advanced formal specification

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

Tahun:
1993
Bahasa:
english
File:
PDF, 1.35 MB
0 / 0
english, 1993
2
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Tahun:
2012
Bahasa:
english
File:
PDF, 4.53 MB
0 / 0
english, 2012
3
Notations for Software Design

Notations for Software Design

Tahun:
1994
Bahasa:
english
File:
PDF, 8.95 MB
0 / 0
english, 1994
4
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Tahun:
2012
Bahasa:
english
File:
PDF, 1.53 MB
0 / 0
english, 2012