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

MPVS 1.1

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

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

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

  • Версия 1.1 размещено на 2007-09-07
    Несколько исправлений и обновлений
  • Версия 1.1 размещено на 2007-09-07

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

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

  • Exam Reactor Бесплатная пробная версия

    Всем известно, что всегда разумно инвестировать в образование. И только компетентный персонал может сделать ваш бизнес процветающим. Экзамен реактор предоставит вам объективную и надежную оценку знаний! Это полезная программа

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

    Программа была разработана для сбора буддийских учений, произнесенных самим Бхуддой по имени Буддаваджана, и для представления контента через различные средства массовой информации, реализуемые Ватной Пахпонгом с достопочтенн

  • Andr Luiz Software Бесплатный

    Андре Луис программного обеспечения - веб-сайт с большим количеством интересных программ с открытым исходным кодом.

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

    Маленький инструмент MAC для повышения скорости чтения, показывая маркеры фиксации над ваным текстом.

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

    Решает сложные задачи геометрии и физики автоматически с помощью уникальных технологий искусственного интеллекта.

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

    Плаформа с открытым исходным кодом, Mission Critical и Near Real-Time, способная поставлять уровень абстракции и услуги, необходимые для разработки надежных и распределенных приложений в режиме реального времени.

  • Magoosh SAT Prep Бесплатная пробная версия

    Изучите всю математику, чтение и письмо, которые вы должны знать для экзамена SAT Совета колледжа с приложением Magoosh видео урок. Наши тысячи студентов улучшили свои баллы, и вы тоже.«#9758; Более 160 анимированных урок

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

    Простой скрипт командной строки python для пакетного проектирования уникальных праймеров PCR. Праймеры разработаны с использованием Primer3 и взорвали против пользовательской базы данных (например, геном). Возвращаются толь

  • CFugue MusicNote Library Бесплатный

    C/C- API для программирования музыки. Скрывая сложность MIDI, библиотека предлагает высокоуровневое программирование для музыкальных нот. Предлагает функции для непосредственного начала работы над музыкальными нотами, такими

  • iPhone Monome Бесплатный

    Моя версия чрезвычайно популярного монома, созданного с MAX/MSP и приложением Remokon для iPhone.