Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

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

Resmi Provalar Arşivi kanıt kütüphaneleri, örnekler ve daha büyük scientifc gelişmeler, mekanik teorem prover Isabelle kontrol bir koleksiyondur. Bilimsel bir dergi nin önünde düzenlenir. Başvurular hakemlidir.

sürüm geçmişi

  • Sürüm afp-Isabelle2011 tarihinde gönderildi 2011-04-03
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm afp-Isabelle2011 tarihinde gönderildi 2011-04-03

Program Detayları

İlgili Programlar

  • ADAM Abstract Data Access Models Ücret -siz

    2 Standart olmayan yaklaşıma (daha az belirgin ama daha hızlı geliştirme) dayalı geçici ve kalıcı nesne modellerine sahip Java çerçeveleri: bir nesne adlandırılmış alanlar kümesidir. RDB'de, metin dosyalarında vb. depolanan t

  • Jedora Remix VM Ücret -siz

    Bir Sanal Makine Linux cihazı (Virtualbox için). Bu Fedora Remix Java tabanlı uygulamalar üzerinde vurgu koyar. OpenOffice.org, OpenJDK, tarayıcı eklentileri (IcedTea) ve Azureus/Vuze, jEdit ve daha fazlası gibi popüler Java

  • DataAide Ücret -siz

    DataAide, sql server 2k veritabanında VB.Net, C# veya VB6 sınıfları ve tablolar için depolanmış yordamlar oluşturmak için SQL Server 2000 istemci araçlarını kullanan VB.Net bir masaüstü uygulamasıdır. Ayrıca, depolanan yordam

  • BlackFox OM (30' Series) Ücret -siz

    BlackFox OM (BlackFox, Nesne Modeli) herhangi bir sistem, uygulama ve kütüphanelerin nesne modellerini tutmak ve işlemek için bir kütüphanedir. Uml araçlarının bir parçası, kod jeneratörleri, nesne yönelimli işletim sistemler

  • InfraHID Ücret -siz

    Projenin amacı normal bir web kamerası nın İnsan Arabirimi Aygıtı (HID) olarak kullanılmasına izin vermektir. Bu yazılımın nasıl kullanılacağına örnek olarak şunlar verilebilir: fare, kontrol video oyunları, elektronik beyaz

  • Prop compiler compiler Ücret -siz

    Prop, C++'a dayalı bir desen eşleştirme dilidir. Cebirsel veri tiplerini, desen eşleştirmesini ve yeniden yazmayı uygular ve çıktı olarak C++ kodu oluşturur.

  • ga-flamoot Ücret -siz

    Python'da, yalnızca 7 yönerge ve akış tersine çevirmeiçeren uydurma bir makine dili kullanarak, ayrılmış bir veri alanına belirli bir dize yazan gelişen programlar için genetik algoritma.

  • Fennel Ücret -siz

    Rezene, C++'da yazılmış veri depolama ve işleme bileşenlerinin kütüphanesidir. Eigenbase Projesi'nin bir alt projesi olarak geliştirilen proje, Farrago projesinin bir alt katmanı olarak da hizmet vermektedir.

  • NExcel Ücret -siz

    NExcel kitaplığı bir .NET uygulamasının Ms Excel dosyalarını okumasını sağlar, Excel 97 ve üstü ile uyumludur. Ms Office Excel'i veya herhangi bir üçüncü taraf kitaplıklarını yüklemenize gerek yoktur. Andrew Khan tarafı

  • OpenTag Ücret -siz

    OpenTag, DASH7 Modu 2 (ISO 18000-7.4) için tam özellikli bir iletişim yığınıdır. Gömülü HW, özellikle RF SoCs üzerinde çalıştırmak için tasarlanmıştır, ancak hemen hemen her şey için taşınabilir. OpenTag ana feat onun büyük ö