Catalogo · 9783540336914
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
ISBN 9783540336914
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Programming Languages and Systems
Gilles Barthe
Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Formal Methods for Open Object-Based Distributed Systems
Gilles Barthe
Formal Aspects of Security and Trust
Gilles Barthe
Applied semantics
Gilles Barthe
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo
Trustworthy Global Computing
Gilles Barthe, Cédric Fournet
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Software Engineering And Formal Methods 9th International Conference Proceedings
Gilles Barthe
Security and Trust Management
Gilles Barthe, Evangelos Markatos, Pierangela Samarati
L'enfance spirituelle
Gilles Barthe
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent