An introduction to formal program verification /
57
Hlavní autor: | |
---|---|
Médium: | |
Vydáno: |
New York : Van Nostrand Reinhold,
1985
|
Témata: |
57
Hlavní autor: | |
---|---|
Médium: | |
Vydáno: |
New York : Van Nostrand Reinhold,
1985
|
Témata: |