Catalogo · 9783642113192
Verification, Model Checking, and Abstract Interpretation
ISBN 9783642113192
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
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Applied semantics
Gilles Barthe
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
Verba volant · scripta manent