Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Matematikk og naturvitenskap/Matematikk

Proof Assistants and Their Applications in Mathematics and Computer Science

2026, Innbundet, Engelsk
Proof Assistants and Their Applications in Mathematics and Computer Science

869,-

Bestillingsvare – sendes normalt innen 10-14 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Produktegenskaper

  • Bidragsyter

    Assia Mahboubi (Redaktør)

  • Forlag/utgiver

    Springer International Publishing AG

  • Format

    Innbundet

  • Språk

    Engelsk

  • Utgivelsesår

    2026

  • Antall sider

    390

  • Serienavn

    Computer Science Foundations and Applied Logic

  • Varenummer

    9783031851896

Kundeanmeldelser

Frakt og levering