VDMJ
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/vdmj/files/Jars/vdmj-2.0.1.jar/download
Circa VDMJ
VDMJ fornisce il supporto degli strumenti di base per i linguaggi di specifica VDM-SL, VDM++ e VDM-RT, scritti in Java. Include un parser, un controllo dei tipi, un interprete, un debugger e un generatore di obblighi di prova. È utilizzato dal progetto Eclipse di Ouverture.
Programmi correlati
-
qgallery Gratuito
Questo programma attraverserà una struttura di directory, elaborando file di immagine jpeg per produrre gallerie di immagini HTML ordinate e facilmente navigabili. qgallery genererà automaticamente miniature, e può anche
-
Multimedia Interface Library Gratuito
La missione di questo progetto è creare un insieme di librerie e componenti per i linguaggi Microsoft .NET e i linguaggi mono per contenuti multimediali come l'input video di riproduzione audio e le librerie di strutture dire
-
ImageFun Gratuito
ImageFun è una piccola applicazione in grado di modificare lo sfondo dell'immagine
-
ZH Mono Gratuito
un carattere monospazio che copre Inscriptional Pahlavi e Inscriptional Parthian (Si noti che Windows 7 non supporta (ancora?) i due principali intervalli Unicode rappresentati in questo tipo di carattere. Tuttavia, Windows X
-
vSigpac Gratuito
vSigpac è un visualizzatore di mappe e un creatore/editor di marcatori, un generatore di terreni e texture per MSTS (Microsoft Train Simulator (c)). vSigpac funziona prima di tutto con mappe/ortofoto Sigpac dalla Spagna, ma p
-
CoverME Gratuito
Software per la ricerca e il download di immagini di copertina dell'album. Cover di album musicali, DVD o Software
-
Essence 3D Game Engine Gratuito
Essence è un motore di gioco 3D scritto in C ++ per le piattaforme Windows.Il motore è un toolkit efficiente ma facile da usare per gli sviluppatori che desiderano creare giochi, prototipi o visualizzazioni.Fornirà ai p
-
dvbpic Gratuito
Dvbpic è un convertitore di immagini, codificatore e visualizzatore per schede dvb; puoi usarlo per guardare le immagini, come quelle scattate con la tua fotocamera digitale, sul televisore attraverso una scheda DVB supportat
-
Python Computer Graphics Kit Gratuito
Il Python Computer Graphics Kit è una raccolta di moduli Python checontengono i tipi e le funzioni di base per poter creare un computer 3Dimmagini grafiche (concentrandosi sull'interfaccia RenderMan di Pixar).
-
Clay3D Gratuito
Clay3D è una suite completa, estensibile e ricca di applicazioni scalabili e agnostiche di rete per la produzione di immagini generate al computer ed effetti visivi. Si prega di consultare la homepage per ulteriori informazio