Filtre: Springer

Cărți de David Basin

Automated Reasoning

Editat de David Basin et al.

22 iun 2004

Preț: 632^.79 lei 790^.99 lei

6-8 săpt.

-20%

Theorem Proving in Higher Order Logics

Editat de David Basin et al.

21 aug 2003

Preț: 380^.09 lei

6-8 săpt.

Modeling and Analyzing Security Protocols with Tamarin

Information Security and Cryptography

Autor David Basin et al.

28 iul 2025

Preț: 379^.32 lei 474^.15 lei

38-44 zile

-20%