Qed At Large by Zachary Tatlock Paperback

33 690,00 Ft
+ 4 049,00 Ft szállítási költség

Black Friday

Vásároljon most
  • product image

Qed At Large by Zachary Tatlock Paperback

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

Qed At Large by Zachary Tatlock Paperback

  • Márka: Unbranded

33 690,00 Ft

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

33 690,00 Ft

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

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

Leírás

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • SzerzÅ‘: Zachary Tatlock
  • Nyelv: English
  • Formátum: Paperback
  • Hosszúság: 194
  • Kiadás dátuma: 2019-09-03
  • Kiadó / Címke: now publishers Inc
  • Fruugo azonosító: 339417594-744581621
  • ISBN: 9781680835946

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

Feladott 24 órán belül

  • STANDARD: 4 049,00 Ft - közötti szállítás K 02 december 2025–H 08 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.