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
  • Matlab Ve Genel Uygulamaları
    Matlab Ve Genel Uygulamaları
    Ahmet Altıntaş
  • %26
    indirim
    C# ile Görsel Programlama (Kitap+Video Eğitim Seti)
    C# ile Görsel Programlama (Kitap+Video Eğitim Seti)
    M.Furkan Ardoğan
  • %20
    indirim
    Temel Kodlama Eğitimi - 2
    Temel Kodlama Eğitimi - 2
    İpek Turan
  • %20
    indirim
    ATMEL İle Gömülü Sistemlere Giriş : Oku İzle Dinle Öğren
    ATMEL İle Gömülü Sistemlere Giriş : Oku İzle Dinle Öğren
    Mert Acel
EN YUKARIYA GİT