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
    STOKTAN
    TESLİM
    Autolisp & Visual Lisp
    Autolisp & Visual Lisp
    Mehmet Şahin Güvercin
  • %20
    indirim
    Algoritmalar : Oku İzle Dinle Öğren
    Algoritmalar : Oku İzle Dinle Öğren
    Süleyman Uzunköprü
  • STOKTAN
    TESLİM
    Design Patterns
    Design Patterns
    Erich Gamma
  • %10
    indirim
    Kotlin : Türkiye
    Kotlin : Türkiye'nin İlk Ve Tek Kotlin Kitabı
    Mehmet Ali Sıcak
EN YUKARIYA GİT