Ed Brinksma, H. H. Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures. Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Ed Brinksma, Holger Hermanns. Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg En Dal, The Netherlands, July 3-7, 2000. Revised Lectures. Berlín, Alemania: Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
MLA -ийн эшлэл (9 дэх хэвлэлт)
Ed Brinksma, Holger Hermanns. Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg En Dal, The Netherlands, July 3-7, 2000. Revised Lectures. Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.