Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

28 790,00 Ft
+ 5 949,00 Ft szállítási költség

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Márka: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Márka: Unbranded
Ár: 28 790,00 Ft
Értékesítő:
28 790,00 Ft
+ 5 949,00 Ft szállítási költség

Már csak 1 maradt

A következő fizetési módokat fogadjuk el

Leírás

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.
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • SzerzÅ‘: Siraj Ahmed Shaikh
  • Nyelv: English
  • Formátum: Paperback
  • Hosszúság: 524
  • Kiadás dátuma: 2023-06-24
  • Kiadó / Címke: Springer Nature Swit
  • Fruugo azonosító: 339437055-744601969
  • ISBN: 9783030388027

Kiszállítás és visszaküldés

Feladott 24 órán belül

  • STANDARD: 5 949,00 Ft - közötti szállítás P 03 október 2025–Cs 09 október 2025

Szállítás innen: Egyesült Királyság.

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét. Teljes visszaküldési irányelvek megtekintése.