Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. VDMJ

VDMJ

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy
Indir

VDMJ, Java ile yazılmış VDM-SL, VDM++ ve VDM-RT belirtim dilleri için temel araç desteği sağlar. Bir parser, bir tip denetleyicisi, bir tercüman, bir hata ayıklayıcı ve bir kanıt yükümlülüğü jeneratör içerir. Uvertür tutulma projesi tarafından kullanılır.

sürüm geçmişi

  • Sürüm N/A tarihinde gönderildi 2011-06-24
  • Sürüm Jars tarihinde gönderildi 2011-03-14
    Çeşitli düzeltmeler ve güncelleştirmeler

Program Detayları

İlgili Programlar

  • qgallery Ücret -siz

    Bu program düzgün ve kolayca gezinilebilir HTML görüntü galerileri üretmek için jpeg görüntü dosyalarını işleme, bir dizin ağacı çapraz olacaktır. qgallery otomatik olarak küçük resimler oluşturur, ando da ptionally küçül

  • Multimedia Interface Library Ücret -siz

    Bu projenin misyonu microsoft .net dilleri ve ses oynatma video girişi ve directx ve opengl tesis kütüphaneleri gibi multimedya için mono diller için kütüphane ve bileşen kümesi oluşturmak ve en iyi kullanıcı arayüzü li oluşt

  • ImageFun Ücret -siz

    ImageFun, resmin arka planını değiştirebilen küçük bir uygulamadır

  • ZH Mono Ücret -siz

    Inscriptional Pehlevi ve Inscriptional Part (Windows 7(henüz?) bu yazı tipi temsil iki ana Unicode aralıkları desteklemediğini unutmayın tek boşluklu yazı tipi. Ancak, Windows XP ve Windows Vista beklendiği gibi çalışır.)

  • vSigpac Ücret -siz

    vSigpac bir harita görüntüleyici ve bir işaret oluşturucu / editör, arazi ve doku jeneratör MSTS (Microsoft Train Simulator (c)) için. vSigpac esas olarak İspanya'dan Sigpac haritaları/ortofotoğrafları ile çalışır, ancak diğe

  • CoverME Ücret -siz

    Arama ve albüm kapağı resimleri indirmek için yazılım. Müzik albümleri, DVD'ler veya Yazılım kapakları

  • Essence 3D Game Engine Ücret -siz

    Essence, Windows platformları için C++'da yazılmış bir 3b oyun motorudur.Motor, oyunlar, prototipler veya görselleştirmeler oluşturmak isteyen geliştiriciler için verimli ama kullanımı kolay bir araç setidir.Bu adam bir

  • dvbpic Ücret -siz

    Dvbpic dvb-kartlar için bir görüntü dönüştürücü, kodlayıcı ve görüntüleyici; linux dvb sürücüsü tarafından desteklenen bir DVB kartı ile tv seti nizde, dijital fotoğraf makinenizle çekilenler gibi resimleri izlemek için kulla

  • Python Computer Graphics Kit Ücret -siz

    Python Bilgisayar Grafik Kiti Python modülleri bir koleksiyon3D bilgisayar oluşturabilmek için temel türleri ve işlevleri içerirgrafik görüntüleri (Pixar'ın RenderMan arayüzüne odaklanarak).

  • Clay3D Ücret -siz

    Clay3D tam, genişletilebilir ve bilgisayar oluşturulan görüntü ve görsel efektüretimi için ağ agnostik, ölçeklenebilir uygulamalar zengin paketi özelliğidir. Daha fazla bilgi için lütfen ana sayfaya bakın.