Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. VDMJ

VDMJ

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

VDMJ menyediakan dukungan alat dasar untuk bahasa spesifikasi VDM-SL, VDM++ dan VDM-RT, yang ditulis dalam bahasa Jawa. Ini termasuk parser, pemeriksa tipe, penerjemah, debugger, dan generator kewajiban bukti. Ini digunakan oleh proyek gerhana Overture.

Riwayat versi

  • Versi N/A diposting di 2011-06-24
  • Versi Jars diposting di 2011-03-14
    Beberapa perbaikan dan pembaruan

Detil Program

Program Terkait

  • qgallery Gratis

    Program ini akan melintasi pohon direktori, memproses file gambar jpeg untuk menghasilkan galeri gambar HTML yang rapi dan mudah di navigatable. qgallery akan secara otomatis menghasilkan thumbnail, ando juga dapat secara

  • Multimedia Interface Library Gratis

    Misi dari proyek ini adalah untuk membuat satu set perpustakaan dan komponen untuk bahasa microsoft .net dan bahasa mono untuk multimedia seperti input video pemutaran suara dan perpustakaan fasilitas directx dan opengl, dan

  • ImageFun Gratis

    ImageFun adalah aplikasi kecil yang dapat mengubah latar belakang gambar

  • ZH Mono Gratis

    font monospaced yang mencakup Pahlavi Prasasti dan Parthian Prasasti (Harap dicatat bahwa Windows 7 tidak (belum?) mendukung dua rentang Unicode utama yang diwakili dalam font ini. Namun, Windows XP dan Windows Vista berfungs

  • vSigpac Gratis

    vSigpac adalah penampil peta dan pembuat / editor penanda, medan dan generator tekstur untuk MSTS (Microsoft Train Simulator (c)). vSigpac bekerja terutama dengan peta / orthophotos Sigpac dari Spanyol, tetapi dapat bekerja d

  • CoverME Gratis

    Perangkat lunak untuk mencari dan mengunduh gambar sampul album. Sampul album musik, DVD, atau Perangkat Lunak

  • Essence 3D Game Engine Gratis

    Essence adalah mesin game 3d yang ditulis dalam C++ untuk platform Windows.Mesin ini adalah toolkit yang efisien tetapi mudah digunakan untuk pengembang yang ingin membuat game, prototipe, atau visualisasi.Ini akan meny

  • dvbpic Gratis

    Dvbpic adalah konverter gambar, encoder, dan penampil untuk dvb-card; Anda dapat menggunakannya untuk menonton gambar, seperti yang diambil dengan kamera digital Anda, di tv-set Anda melalui DVB-card yang didukung oleh driver

  • Python Computer Graphics Kit Gratis

    Kit Grafis Komputer Python adalah koleksi modul Python yangberisi tipe dan fungsi dasar untuk dapat membuat komputer 3Dgambar grafis (berfokus pada antarmuka RenderMan Pixar).

  • Clay3D Gratis

    Clay3D adalah rangkaian lengkap, ekstensibel, dan fitur aplikasi agnostik jaringan yang kaya dan dapat diskalakan untuk produksi citra dan efek visual yang dihasilkan komputer. Silakan lihat beranda untuk informasi lebih lanj