Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. VDMJ

VDMJ

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

VDMJ menyediakan sokongan alat asas untuk bahasa spesifikasi VDM-SL, VDM++ dan VDM-RT, yang ditulis dalam Jawa. Ia termasuk penghuraian, pemeriksa jenis, jurubahasa, penyahpepijat dan penjana kewajipan bukti. Ia digunakan oleh projek gerhana overture.

sejarah versi

  • Versi N/A diposkan pada 2011-06-24
  • Versi Jars diposkan pada 2011-03-14
    Beberapa pembaikan dan pengemaskinian

Butiran Atur Cara

Atur Cara Berkaitan

  • qgallery Percuma

    Program ini akan mengelilingi pokok direktori, memproses fail imej jpeg untuk menghasilkan galeri imej HTML yang kemas dan mudah dilayan. qgallery secara automatik akan menjana lakaran kecil, dano juga boleh menggagalkan

  • Multimedia Interface Library Percuma

    Misi projek ini adalah untuk mewujudkan satu set perpustakaan dan komponen untuk bahasa microsoft.net dan bahasa mono untuk multimedia seperti bunyi memainkan input video dan directx dan perpustakaan kemudahan opengl, dan kaw

  • ImageFun Percuma

    ImageFun adalah aplikasi kecil yang boleh menukar latar belakang gambar

  • ZH Mono Percuma

    fon monospaced yang meliputi Inskripsi Pahlavi dan Inskripsi Parthian (Sila ambil perhatian bahawa Windows 7 tidak (lagi?) menyokong dua julat Unicode utama yang diwakili dalam fon ini. Walau bagaimanapun, Windows XP dan Wind

  • vSigpac Percuma

    vSigpac adalah pemapar peta dan pencipta / editor penanda, rupa bumi dan penjana tekstur untuk MSTS (Microsoft Train Simulator (c)). vSigpac berfungsi terutamanya dengan peta / ortophotos Sigpac dari Sepanyol, tetapi ia boleh

  • CoverME Percuma

    Perisian untuk mencari dan memuat turun album meliputi gambar. Meliputi album muzik, DVD atau Perisian

  • Essence 3D Game Engine Percuma

    Essence adalah enjin permainan 3d yang ditulis dalam C ++ untuk platform Windows.Enjin ini adalah toolkit yang cekap tetapi mudah digunakan untuk pemaju yang ingin membuat permainan, prototaip atau visualisasi.Ia akan m

  • dvbpic Percuma

    Dvbpic adalah penukar imej, pengekod dan penonton untuk dvb-kad; anda boleh menggunakannya untuk menonton gambar, seperti yang diambil dengan kamera digital anda, pada set tv anda melalui kad DVB yang disokong oleh pemacu dvb

  • Python Computer Graphics Kit Percuma

    Kit Grafik Komputer Python adalah koleksi modul Python yangmengandungi jenis dan fungsi asas untuk dapat mencipta komputer 3Dimej grafik (memberi tumpuan kepada antara muka RenderMan Pixar).

  • Clay3D Percuma

    Clay3D adalah lengkap, boleh diperluas, dan mempunyai suite kaya rangkaian agnostik, aplikasi berskala untuk pengeluaran imejan yang dihasilkan komputer dan kesan visual. Sila lihat laman utama untuk maklumat lanjut.