Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında
1
Logic and specification: extending VDM-SL for advanced formal specification

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

Yıl:
1993
Dil:
english
Dosya:
PDF, 1.35 MB
0 / 0
english, 1993
2
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Yıl:
2012
Dil:
english
Dosya:
PDF, 4.53 MB
0 / 0
english, 2012
3
Notations for Software Design

Notations for Software Design

Yıl:
1994
Dil:
english
Dosya:
PDF, 8.95 MB
0 / 0
english, 1994
4
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Yıl:
2012
Dil:
english
Dosya:
PDF, 1.53 MB
0 / 0
english, 2012