Interested Article - 0 0 lauretta 2021-04-19 1 0 0 lauretta 2021-04-19 1 Tags: Spec# Класс языка мультипарадигменный: структурный , императивный , объектно-ориентированный , событийно-ориентированный , функциональный , контрактный Появился в 2004 Автор Microsoft Research Разработчик Microsoft Research Выпуск 03.10.2011 ( 7 октября 2011 ) Система типов статическая , строгая , типобезопасная , Испытал влияние C# , Эйфель Повлиял на Sing# Сайт Патрулирование 1 year ago 0 0 0 Википедия 1 year ago 0 0 0 Свободный контент 1 year ago 0 0 0