Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

₺3.599,00
+ ₺1.061,99 Kargo
  • product image

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

  • Marka: Unbranded
Satıcı:

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

  • Marka: Unbranded

₺3.599,00

Stokta var
+ ₺1.061,99 Kargo

14 Günlük İade Politikası

Satıcı:

₺3.599,00

Stokta var
+ ₺1.061,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Tanım

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

This Book Presents Reflections On The Occasion Of 20 Years On The Key Project That Focuses On Deductive Software Verification.since The Inception Of The Key Project Two Decades Ago, The Area Of Deductive Verification Has Evolved Considerably. Support For Real World Programming Languages By Deductive Program Verification Tools Has Become Prevalent. This Required To Overcome Significant Theoretical And Technical Challenges To Support Advanced Software Engineering And Programming Concepts.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Dil: English
  • Yazar: Springer Nature B.V
  • Sayfa Sayısı: 352
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 469765961-983720897
  • ISBN: 9783030643539

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.061,99 - Arasında teslimat Çar 29 Temmuz 2026–Çar 05 Ağustos 2026

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

İadeler

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