Qed At Large by Zachary Tatlock Paperback

34 490,00 Ft
+ 4 249,00 Ft szállítási költség
  • 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
Ár: 34 490,00 Ft
Értékesítő:
34 490,00 Ft
+ 4 249,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

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 249,00 Ft - közötti szállítás Sze 15 október 2025–K 21 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.