Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. MPVS

MPVS 1.1

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

Alat praktikal untuk membantu pelajar memahami metodologi pengaturcaraan klasik berdasarkan spesifikasi, invariant gelung, dan penguraian ke dalam subproblems.

sejarah versi

  • Versi 1.1 diposkan pada 2007-09-07
    Beberapa pembaikan dan pengemaskinian
  • Versi 1.1 diposkan pada 2007-09-07

Butiran Atur Cara

Atur Cara Berkaitan

  • Exam Reactor Percubaan Percuma

    Semua orang tahu bahawa ia sentiasa masuk akal untuk melabur dalam pendidikan. Dan hanya kakitangan yang kompeten boleh membuat perniagaan anda makmur. Reaktor Peperiksaan akan memberikan anda penilaian pengetahuan yang objek

  • Buddhawajana Percuma

    Program ini dibangunkan untuk mengumpul ajaran Buddha yang diutarakan oleh Bhuddha sendiri yang dipanggil Buddhawajana dan untuk membentangkan kandungan melalui pelbagai media yang dilaksanakan oleh Watna Pahpong dengan Vener

  • Andr Luiz Software Percuma

    Andr Luiz Software - Laman web dengan banyak program sumber terbuka yang sejuk.

  • aMindFeeder Percuma

    Little MAC alat untuk meningkatkan kelajuan bacaan anda dengan menunjukkan penanda penanda penetapan ke atas teks yang ditampal.

  • zove Percuma

    Menyelesaikan masalah geometri & fizik yang kompleks secara automatik dengan teknologi Kecerdasan Buatan yang unik.

  • Opencosmic Percuma

    Plaform perisian tengah sumber terbuka, Mission Critical dan Near Real-Time, dapat membekalkan lapisan abstrak dan perkhidmatan yang diperlukan untuk membangunkan aplikasi yang boleh dipercayai dan masa nyata diedarkan.

  • Magoosh SAT Prep Percubaan Percuma

    Ketahui semua matematik, bacaan, dan penulisan yang anda perlu tahu untuk peperiksaan SAT Lembaga Kolej dengan aplikasi pelajaran video Magoosh. Beribu-ribu pelajar kami telah meningkatkan skor mereka dan anda juga akan.&

  • UniquePrimer Percuma

    Skrip baris arahan python mudah untuk reka bentuk kelompok primer PCR yang unik. Primer direka menggunakan Primer3 dan diletupkan terhadap pangkalan data tersuai (contohnya genom). Hanya primer unik dengan satu perlawanan d

  • CFugue MusicNote Library Percuma

    C/C++ API untuk muzik pengaturcaraan. Bersembunyi kerumitan MIDI, perpustakaan menawarkan pengaturcaraan peringkat tinggi untuk nota muzik. Menawarkan ciri-ciri untuk mula bekerja secara langsung pada Nota Muzik seperti C, D,

  • iPhone Monome Percuma

    Versi saya monom yang sangat popular dicipta dengan MAX / MSP dan aplikasi Remokon untuk iPhone.