Muntean traian (9 Ergebnisse)

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Linz, Austria, in September 2013.The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Mobile Resource Guarantees for Smart Devices.- History-Based Access Control and Secure Information Flow.- The Spec# Programming System: An Overview.- Mastering Test Generation from Smart Card Software Formal Models.- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices.- ESC/Java2: Uniting ESC/Java and JML.- A Type System for Checking Applet Isolation in Java Card.- Verification of Safety Properties in the Presence of Transactions.- Modelling Mobility Aspects of Security Policies.- Smart Devices for Next Generation Mobile Services.- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.- Combining Several Paradigms for Circuit Validation and Verification.- Smart Card Research Perspectives.…

Taschenbuch. Zustand: Neu. Algebraic Informatics | 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings | Traian Muntean (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642406621 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.…

Zustand: As New. Unread book in perfect condition.