pandora.com.tr
pandora.com.tr
Türkiye'nin En Büyük Kitabevi
Paylaş»
 

Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant

Üye Girişi yapın, temin süresi ve fiyatını size bildirelim.
Üye Girişi yapın, sizi bu ürün stoklarımıza girdiğinde bilgilendirelim.
Temin süremiz 28 - 42 iş günü
Yayıncı MIT Press  ( 01 / 2014 ) ISBN 9780262026659  |  Ciltli  |  17,53x22,61x2,54 cm.  |  İngilizce  |  440 Sayfa    |  Türler Bilgisayar / Programlama

Bu türde çok satanlar

  • %20
    indirim
    Java ve Java Teknolojisi
    Java ve Java Teknolojisi
    Tevfik Kızılören
  • %16
    indirim
    Benzetim : Simulation
    Benzetim : Simulation
    Sheldon M. Ross
  • %26
    indirim
    C Programlamanın Temelleri
    C Programlamanın Temelleri
    Timur Karaçay
  • %26
    indirim
    MATLAB Eğitim Seti : Yapay Zeka ve Mühendislik Uygulamaları
    MATLAB Eğitim Seti : Yapay Zeka ve Mühendislik Uygulamaları
    Cemalettin Kubat
  • %26
    indirim
    C C++ ve Java Dilleriyle Algoritma ve Programlama
    C C++ ve Java Dilleriyle Algoritma ve Programlama
    Bülent Çobanoğlu
EN YUKARIYA GİT