Sutter, P. (1976). Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Sutter, Peter. Implementierung Einer Metasprache Zur Definition Von Symbolischen Daten Operierenden Interpretern Und Ihr Einsatz in Der Programmverifikation. Bregenz, 1976.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
MLA -ийн эшлэл (9 дэх хэвлэлт)
Sutter, Peter. Implementierung Einer Metasprache Zur Definition Von Symbolischen Daten Operierenden Interpretern Und Ihr Einsatz in Der Programmverifikation. 1976.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.