Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
 
ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING
Form of presentationConference proceedings in Russian journals and collections
Year of publication2016
Языкрусский
  • Enikeev Arslan Ilyasovich, author
  • Bibliographic description in the original language A.I. Enikeev, Mahfoodh Bilal Ahmed Mohammed, Elina Stepanova, ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING //Evristicheskie algoritmy i raspredelyonnye vychisleniya, Nauchnyy zhurnal, ISSN 2311–8563, Federalnoe gosudarstvennoe byudzhetnoe obrazovatelnoe uchrezhdenie vysshego professionalnogo obrazovaniya «Samarskiy gosudarstvennyy universitet», Tom 1, vypusk 3,2014,s. 20–31 Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United Kingdom Proceedings Vol.2, 2015, pp 24-35, http://eujournal.org/files/journals/1/books/ISF.Oxford.Vol.2.2015. pdf.
    Annotation Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United King-dom Proceedings Vol.2, 2015,
    Keywords модели, программная инженерия, формальные средства
    The name of the journal Proceedings of 4th International Scientific Forum, ISF 2015, 2-4 September, Oxford, United King-dom Proceedings Vol.2, 2015,
    URL http://eujournal.org/files/journals/1/books/ISF.Oxford.Vol.2.2015. pdf.
    Please use this ID to quote from or refer to the card https://repository.kpfu.ru/eng/?p_id=127499&p_lang=2

    Full metadata record