معرفی شرکت ها

acl2-books_8.0dfsg-1_s390x.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Computational Logic for Applicative Common Lisp: compiled libraries
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main s390x
نام بسته acl2-books
نام فایل بسته acl2-books_8.0dfsg-1_s390x.deb
نسخه بسته 8.0dfsg
انتشار بسته 1
معماری بسته s390x
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 127759264
حجم نصب 1208680
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.


جایگزین ها

بسته نسخه معماری مخزن
acl2-books-certs_8.0dfsg-1_all.deb 8.0dfsg all Debian main
acl2-books-source_8.0dfsg-1_all.deb 8.0dfsg all Debian main
acl2-books_8.0dfsg-1+b1_armel.deb 8.0dfsg armel Debian main
acl2-books_8.0dfsg-1_amd64.deb 8.0dfsg amd64 Debian main
acl2-books_8.0dfsg-1_arm64.deb 8.0dfsg arm64 Debian main
acl2-books_8.0dfsg-1_armhf.deb 8.0dfsg armhf Debian main
acl2-books_8.0dfsg-1_i386.deb 8.0dfsg i386 Debian main
acl2-books_8.0dfsg-1_mips.deb 8.0dfsg mips Debian main
acl2-books_8.0dfsg-1_mips64el.deb 8.0dfsg mips64el Debian main
acl2-books_8.0dfsg-1_mipsel.deb 8.0dfsg mipsel Debian main
acl2-books_8.0dfsg-1_ppc64el.deb 8.0dfsg ppc64el Debian main


نیازمندی

مقدار نام
= 8.0dfsg-1 acl2
= 8.0dfsg-1 acl2-books-certs
= 8.0dfsg-1 acl2-books-source


نحوه نصب


نصب پکیج deb acl2-books:

    sudo apt-get install acl2-books_8.0dfsg-1_s390x.deb