Libri di David Basin
Tutti i risultati (9)
-
Labelled Deduction
Venditore: Feltrinelli137,30 € -
Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Applied Information Security: A Hands-on Approach
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,90 € -
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Politics & PhilosophyDisponibilità in 2 settimane66,00 € -
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
Venditore: FeltrinelliSpringer International Publishing AG, 2025Libri in Inglese | Language & ReferenceDisponibilità in 2 settimane72,70 € -
The Complete Guide to SCION: From Design Principles to Formal Verification
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane119,20 € -
The Complete Guide to SCION: From Design Principles to Formal Verification
Venditore: FeltrinelliSpringer International Publishing AG, 2022Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane150,50 € -
Labelled Deduction
Venditore: Feltrinelli132,30 € -
Rippling: Meta-Level Guidance for Mathematical Reasoning
Venditore: Feltrinelli168,70 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
