An introduction to formal program verification /

57

Podrobná bibliografie
Hlavní autor: 208742 Mili, Ali
Médium:
Vydáno: New York : Van Nostrand Reinhold, 1985
Témata: