Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

₺2.749,00
+ ₺1.460,49 Kargo

Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

Satıcı:
  • product image

₺2.749,00

Stokta var
+ ₺1.460,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

  • Marka: Unbranded
Ürün detayları

Ürün detayları

Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

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 Graduate-level 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: Hardcover
  • Yayın Tarihi: 2022-06-23
  • Dil: English
  • Yazar: Markus Roggenbach
  • Sayfa Sayısı: 556
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 469763682-983718603
  • ISBN: 9783030387990
Teslimat

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.460,49 - Arasında teslimat Çar 30 Eylül 2026–Çar 07 Ekim 2026

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

İadeler

İ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