Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
236342 - מבוא לאימות תוכנה 236342 - Introduction to Software Verification 236342 - Introduction to Software Verification 236342 - Introduction to Software Verification
  חורף 2018-2019Winter 2018-2019Зима 2018-2019شتاء 2018-2019