Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 01:05, 24 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Dafny (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Programming language}} {{Infobox programming language | name = Dafny | logo = Dafny logo.jpg | logo size = 128px | logo alt = | logo caption = | paradigm = Imperative, functional | released = {{Start date and age|2009}} | designer = K. Rustan M. Leino | developer = Microsoft Research, AW...»)