Ada_Ru форум

Обсуждение языка Ада

[Fwd: [Libre] Announcing the immediate availability of the SPARKGPL Edition 2009]

Оставить новое сообщение

Сообщения

Vadim Godunko
[Fwd: [Libre] Announcing the immediate availability of the SPARKGPL Edition 2009]
2009-06-05 03:26:33

Доброго времени суток!

 

В догонку к GNAT GPL 2009 в свет вышла первая публичная версия SPARK GPL 2009. Теперь все желающие могут потренироваться в доказательстве

правильности своих программ! :-)

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти