Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. VDMJ

VDMJ

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов
Скачать

VDMJ обеспечивает базовую поддержку инструментов для языков спецификаций VDM-SL, VDM и VDM-RT, написанных на Java. Она включает в себя парсер, тип шашки, переводчик, отггер и доказательство обязательства генератора. Он используется проектом затмения увертюры.

история версии

  • Версия N/A размещено на 2011-06-24
  • Версия Jars размещено на 2011-03-14
    Несколько исправлений и обновлений

Подробная информация о программе

Похожие программы

  • qgallery Бесплатный

    Эта программа будет пересекать дерево каталога, обработка файлов изображений jpeg для получения аккуратных и легко ориентируемых HTML-галерей изображений. qgallery будет автоматически генерировать эскизы, Ando также может

  • Multimedia Interface Library Бесплатный

    Миссия этого проекта заключается в создании набора библиотек и компонентов для языков Microsoft .net и моно языков для мультимедиа, таких как воспроизведение звука ввода видео и directx и opengl библиотеки объектов, а также у

  • ImageFun Бесплатный

    ImageFun - это небольшое приложение, которое может изменить фон изображения

  • ZH Mono Бесплатный

    монопространственный шрифт, охватывающий Inscriptional Pahlavi и Inscriptional Parthian (Пожалуйста, обратите внимание, что Windows 7 пока не поддерживает два основных диапазона Unicode, представленных в этом шрифте. Тем не м

  • vSigpac Бесплатный

    vSigpac — это зритель карт и создатель/редактор маркеров, генератор рельефа и текстуры для MSTS (Microsoft Train Simulator (c)). vSigpac работает в основном с картами Sigpac/ортофото из Испании, но он может работать с другими

  • CoverME Бесплатный

    Программное обеспечение для поиска и загрузки фотографий обложки альбома. Обложки музыкальных альбомов, DVD-дисков или программного обеспечения

  • Essence 3D Game Engine Бесплатный

    Сущность - это 3d игровой движок, написанный на C- для платформ Windows.Двигатель является эффективным, но простым в использовании набором инструментов для разработчиков, желающих создавать игры, прототипы или визуализации

  • dvbpic Бесплатный

    Dvbpic — это преобразователь изображений, кодер и зритель для dvb-карт; Вы можете использовать его для просмотра фотографий, как те, которые сделаны с цифровой камерой, на вашем телевизоре через DVB-карту, поддерживаемую драй

  • Python Computer Graphics Kit Бесплатный

    Python Computer Graphics Kit представляет собой коллекцию модулей Python, которыесодержат основные типы и функции, чтобы иметь возможность создавать 3D-компьютерграфические изображения (с упором на интерфейс RenderMan от

  • Clay3D Бесплатный

    Clay3D является полным, extensible, и имеют богатый набор сетевых агностик, масштабируемые приложения для производства компьютерных изображений и визуальных эффектов. Пожалуйста, смотрите домашнюю страницу для получения допол