Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

₺2.799,00
+ ₺814,49 Kargo

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marka: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marka: Unbranded
Fiyat: ₺2.799,00
Satıcı:
₺2.799,00
+ ₺814,49 Kargo

Stokta kalan sadece 1

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

Tanım

Software programs are formal entities with precise meanings independent of their programmers so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduatelevel introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Uzunluk: 524
  • Yayın Tarihi: 2023-06-24
  • Dil: English
  • Yazar: Siraj Ahmed Shaikh
  • Yayıncı / Etiket: Springer Nature Swit
  • Fruugo Kimliği: 339437055-744601969
  • ISBN: 9783030388027

Teslimat ve İade

24 saat içinde kargoya verilir

  • STANDARD: ₺814,49 - Arasında teslimat Sal 21 Ekim 2025–Cum 24 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