Thomas Jensen – författare
Visar alla böcker från författaren Thomas Jensen. Handla med fri frakt och snabb leverans.
10 produkter
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Av Yu-Fang Chen, Thomas Jensen m. fl.
Häftad, 2026
836 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected …
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Av Ondrej Lengal, Thomas Jensen m. fl.
E-bok, 2026
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected …
Java on Smart Cards: Programming and Security
First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Av Isabelle Attali, Thomas Jensen
Häftad, 2001
569 kr
Lägg i varukorg
Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri?cation of …
Smart Card Programming and Security
International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
Av Isabelle Attali, Thomas Jensen
Häftad, 2001
569 kr
Lägg i varukorg
The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19-21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and received helpful ?nancial support from the Conseil R'egional Provence-Alpes-Cote d'Azur. The …
Java on Smart Cards: Programming and Security
First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Av Thomas Jensen, Isabelle Attali
E-bok, 2003
755 kr
Lägg i varukorg
Smart Card Programming and Security
International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
Av Thomas Jensen, Isabelle Attali
E-bok, 2003
739 kr
Lägg i varukorg
Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Av Sandrine Blazy, Thomas Jensen
Häftad, 2015
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental …
Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Av Thomas Jensen, Sandrine Blazy
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a …
