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

  • STOKTAN
    TESLİM
    Design Patterns
    Design Patterns
    Erich Gamma
  • %10
    indirim
    STOKTAN
    TESLİM
    Arduino : Hızlı ve Kolay
    Arduino : Hızlı ve Kolay
    Volkan Kanat
  • %26
    indirim
    MATLAB Eğitim Seti : Yapay Zeka ve Mühendislik Uygulamaları
    MATLAB Eğitim Seti : Yapay Zeka ve Mühendislik Uygulamaları
    Cemalettin Kubat
  • %15
    indirim
    Matlab 9.1 Simulink ve Mühendislik Uygulamaları
    Matlab 9.1 Simulink ve Mühendislik Uygulamaları
    Uğur Arifoğlu
  • %20
    indirim
    Windows Server Sistem Yönetimi 1. Cilt : İnteraktif Eğitim Seti Hediye
    Windows Server Sistem Yönetimi 1. Cilt : İnteraktif Eğitim Seti ...
    Mesut Aladağ
EN YUKARIYA GİT