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

₺1.999,00
+ ₺1.151,49 Kargo

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

Satıcı:
  • product image

₺1.999,00

Stokta var
+ ₺1.151,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

  • Marka: Unbranded

Tanım

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. The Second Part Offers Specification And Testing Methods For Formal Development Of Software, Based On The Modelling Languages Casl And Uml.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Dil: English
  • Yazar: Markus Roggenbach
  • Sayfa Sayısı: 556
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 225635906-481541405
  • ISBN: 9783030388027

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.151,49 - Arasında teslimat Pzt 03 Ağustos 2026–Pzt 10 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