Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Contract++

Contract++

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

Pengaturcaraan Kontrak C++ (reka bentuk aka oleh Kontrak). Semua ciri Eiffel disokong: Penyusunan kontrak pilihan; Tindakan yang boleh disesuaikan atas kegagalan; Subkontrak; Nilai lama dan hasil; Sekat invariants, buang varian. http://contractpp.sourceforge.net

sejarah versi

  • Versi releases diposkan pada 2010-03-07
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-03-07

Butiran Atur Cara

Atur Cara Berkaitan

  • ProLOGO - Logo in Prolog Percuma

    ProLOGO adalah bahasa seperti LOGO yang ditulis dalam swi-prolog dengan perpustakaan grafik XPCE. Hampir semua arahan asas dilaksanakan tetapi tidak ada sokongan untuk prosedur (lagi).

  • Space Opera Percuma

    Space Opera adalah permainan penjajahan angkasa yang serupa dengan 'Master of Orion' atau 'Tamadun Galaksi'. Anda boleh meneroka alam semesta, menjajah planet, melawan asing dan teknologi penyelidikan. Imej dicipta dengan Pov

  • Topaz DeJPEG Percuma

    Artifak mampatan JPEG menjejaskan kualiti mana-mana imej digital. Mereka boleh dilihat sebagai bunyi nyamuk, sekatan atau pemeriksaan, dan artifak tepi. Topaz DeJPEG adalah pemalam yang direka khusus untuk menangani masalah i

  • ACD VideoMagic Percubaan Percuma

    ACD VideoMagic membolehkan anda berkongsi video kenangan detik-detik hebat kehidupan tanpa melabur banyak masa mengenai pengeluaran video digital atau wang pada perisian penyuntingan video digital. Dengan perisian video digit

  • PhotoZoom Pro for Mac Percubaan Percuma

    Tidak berpuas hati dengan kualiti pembesaran imej digital anda? Saiz semula imej anda menggunakan PhotoZoom Pro 6!BenVista PhotoZoom Pro 6 adalah perisian untuk membesarkan imej digital, tersedia untuk OS X 10.6+ dan Windo

  • 2Bitmap Percubaan Percuma

    2Bitmap adalah penukar grafik yang membolehkan anda menukar imej kepada format gif dari 50 jenis fail imej termasuk penukaran dari gif ke bmp, dari jpeg ke peta bit, dari tiff ke bmp dan sebagainya. Program ini tidak mempuny

  • PDF Stamp Multiple Files With Image Software Percubaan Percuma

    Perisian ini menawarkan penyelesaian kepada pengguna yang ingin setem beberapa fail PDF dengan tera air. Pengguna hanya menambah fail yang diperlukan atau seluruh folder sebelum memilih fail imej untuk tera air dan memulakan

  • Viking GPS data editor and analyzer Percuma

    Viking adalah program sumber percuma / terbuka untuk menguruskan data GPS. Anda boleh mengimport, plot dan membuat trek dan titik laluan, menunjukkan OSM, Terraserver dan peta lain, melihat kedudukan GPS masa nyata, mendapatk

  • OSSIM - Open Source Software Image Map Percuma

    Projek OSSIM Remote Sensing Sumber Terbuka, disebut & sebut harga;awesome", akan memanfaatkan algoritma/ alat/pakej sedia ada daripada komuniti sumber terbuka dalam pembinaan pakej Remote Sensing/Image Processing

  • Comical Percuma

    Komik adalah CBR mudah alih dan penonton CBZ yang ditulis dalam C ++ menggunakan wxWidgets. Ia menyokong pelbagai format imej dan menggunakan algoritma penskalaan imej berkualiti tinggi untuk memuatkan halaman pada skrin.