Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

27 390,00 Ft
+ 5 599,00 Ft szállítási költség
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Márka: Unbranded
Értékesítő:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Márka: Unbranded

27 390,00 Ft

Már csak 1 maradt
+ 5 599,00 Ft szállítási költség
Értékesítő:

27 390,00 Ft

Már csak 1 maradt
+ 5 599,00 Ft szállítási költség

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 599,00 Ft - közötti szállítás K 25 november 2025–H 01 december 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.