Thomas Jensen - Böcker
Visar alla böcker från författaren Thomas Jensen.
5 produkter
5 produkter
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Häftad, Engelska, 2026
1 069 kr
Skickas inom 10-15 vardagar
Java on Smart Cards: Programming and Security
First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Häftad, Engelska, 2001
729 kr
Skickas inom 10-15 vardagar
Smart Card Programming and Security
International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
Häftad, Engelska, 2001
729 kr
Skickas inom 10-15 vardagar
Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar
969 kr
Skickas inom 5-8 vardagar