Proof Assistants and Their Applications in Mathematics and Computer Science 1
Kommande
bokomslag Proof Assistants and Their Applications in Mathematics and Computer Science
Data & IT

Proof Assistants and Their Applications in Mathematics and Computer Science

Jasmin Blanchette • Assia Mahboubi

Inbunden

1749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

  • 390 sidor
  • 2025
  • Författare: Jasmin Blanchette, Assia Mahboubi
  • Format: Inbunden
  • ISBN: 9783031851896
  • Språk: Engelska
  • Antal sidor: 390
  • Utgivningsdatum: 2025-07-01
  • Förlag: Springer

Du kanske gillar

  1. bokomslag Interactive Theorem Proving

    Interactive Theorem Proving

    Assia Mahboubi Jeremy Avigad

    Pocket

    1299:-
  2. bokomslag Automated Reasoning

    Automated Reasoning

    Jasmin Blanchette, Laura Kovcs, Dirk Pattinson

    Pocket

    589:-
  3. bokomslag Epistemologas en confluencia

    Epistemologas en confluencia

    Assia Mohssine Assia Mohssine

    Inbunden

    1159:-
  4. bokomslag Foundations and Practice of Security

    Foundations and Practice of Security

    Gabriela Nicolescu, Assia Tria, Jos M Fernandez, Jean-Yves Marion, Joaquin Garcia-Alfaro

    Pocket

    729:-
  5. Ny
    bokomslag Sunrise on the Reaping

    Sunrise on the Reaping

    Suzanne Collins

    Inbunden

    349:-
  6. Ny
    bokomslag Sunrise on the Reaping : (svensk utgåva)

    Sunrise on the Reaping : (svensk utgåva)

    Suzanne Collins

    Danskband/flex

    249:- (299:-)
  7. bokomslag Mina första insekter

    Mina första insekter

    Emma Jansson

    Inbunden

    79:- (159:-)
  8. bokomslag Väninnorna på Nordiska Kompaniet

    Väninnorna på Nordiska Kompaniet

    Ruth Kvarnström-Jones

    Inbunden

    99:- (289:-)
  9. bokomslag Trollformler och besvärjelser : för vardagliga händelser

    Trollformler och besvärjelser : för v...

    David Sundin

    Inbunden

    89:- (179:-)
  10. bokomslag A home : the world of Carl and Karin Larsson

    A home : the world of Carl and Karin ...

    Elsa Billgren • Ulrika Ewerman

    Kartonnage

    139:- (349:-)

Andra av samma författare

  1. bokomslag Automated Reasoning

    Automated Reasoning

    Jasmin Blanchette, Laura Kovcs, Dirk Pattinson

    Pocket

    589:-
  2. bokomslag Interactive Theorem Proving

    Interactive Theorem Proving

    Assia Mahboubi Jeremy Avigad

    Pocket

    1299:-