Qed At Large by Zachary Tatlock Paperback

₺3.499,00
+ ₺685,99 Kargo

Qed At Large by Zachary Tatlock Paperback

  • Marka: Unbranded
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Marka: Unbranded
Fiyat: ₺3.499,00
Satıcı:
₺3.499,00
+ ₺685,99 Kargo

Stokta kalan sadece 1

Biz aşağıdaki ödeme yöntemlerini kabul ediyoruz

Tanım

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Uzunluk: 194
  • Yayın Tarihi: 2019-09-03
  • Dil: English
  • Yazar: Zachary Tatlock
  • Yayıncı / Etiket: now publishers Inc
  • Fruugo Kimliği: 339417594-744581621
  • ISBN: 9781680835946

Teslimat ve İade

24 saat içinde kargoya verilir

  • STANDARD: ₺685,99 - Arasında teslimat Çar 15 Ekim 2025–Pzt 20 Ekim 2025

Kargo çıkış noktası Birleşik Krallık.

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz. Tam iade politikasını görüntüle