• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Advanced search
Bachelor’s Programme 'Software Engineering'
For visually-impaired
Advanced search
Menu
HSE Campus in Perm

Bachelor’s Programme 'Software Engineering'

Academic Supervisor
Lanin, Viacheslav
Scientific Supervisor
Vikentyeva, Olga
Manager
Rustamkhanova, Gulshat

37a Bulvar Gagarina, Room 307
Perm 614070 Russia

Phone: +7 (342) 254-56-16

+7 (342) 254-56-01

Feedback

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Introduction to Formal Methods of Software Engineering

2014/2015
Academic Year
ENG
Instruction in English
3.5
ECTS credits

Author


Sukhov, Alexander
Delivered at:
Department of Information Technologies in Business (Faculty of Computer Science, Economics, and Social Sciences)
Course type:
Elective course
When:
3 year, 1, 2 module
HSE Campus in Perm → Bachelor's programmes → Faculty of Computer Science, Economics, and Social Sciences → Bachelor's Programme in Software Engineering → Courses → Introduction to Formal Methods of Software Engineering, 2014/15 Academic year
Edit
© HSE University 1993–2024  Contacts  Copyright  Privacy Policy  Site Map 

HSE Sans and HSE Slab fonts developed by the HSE Art and Design School